👨🏫
Yüksek bir ideal için çalış!
Author, Math lover, Sceptic MIS graduate, CS student, M.Sc. in Data Science, 5x Engineer.
-
15:14
(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
OCaml
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
q
Nothing to show
Sort by: Most stars
Starred repositories
1
result
for source starred repositories
written in Agda
Clear filter