![spacevim logo](https://raw.githubusercontent.com/github/explore/80688e429a7d4ef2fca1e82350fe8e3517d3494d/topics/spacevim/spacevim.png)
👨🏫
Yüksek bir ideal için çalış!
Author, Math lover, Sceptic MIS graduate, CS student, M.Sc. in Data Science, 5x Engineer.
-
00:57
(UTC +03:00) - https://www.linkedin.com/in/seçkin-kükrer/
Block or Report
Block or report LeaveNhA
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLanguage: Agda
All languages
Adblock Filter List
Agda
AppleScript
C
C#
C++
CSS
Clojure
CoffeeScript
Common Lisp
Coq
Crystal
Cuda
D
Elixir
Elm
Emacs Lisp
Erlang
F#
Frege
Go
HTML
Haskell
Haxe
Idris
J
Java
JavaScript
Julia
Jupyter Notebook
Lua
MDX
Makefile
Markdown
Mojo
Nim
Nix
Objective-C
Objective-C++
Odin
PHP
PowerShell
Prolog
PureScript
Python
R
Racket
Reason
Rich Text Format
Ruby
Rust
Scala
Shell
Solidity
Standard ML
Svelte
Swift
TSQL
TeX
TypeScript
V
VBScript
Vim Script
Vue
Wren
Zig
Nothing to show
Sort by: Most stars
Starred repositories
1
star
written in Agda
Clear filter