learn is:

Some codes written while learning them. Sorted by language or technology.

Interesting codes

Name		Name	Last commit message	Last commit date
Latest commit History 329 Commits
ANTLR/antlr-test		ANTLR/antlr-test
Agda		Agda
Android		Android
Arend		Arend
Batch		Batch
BrainFuck		BrainFuck
C#		C#
C++		C++
C		C
Clojure		Clojure
Coq		Coq
Crystal		Crystal
CubicalTT		CubicalTT
Dart		Dart
FStar		FStar
Go		Go
Groovy		Groovy
Hadoop		Hadoop
Haskell		Haskell
Hoq		Hoq
Idris		Idris
Isabelle		Isabelle
JNI		JNI
Java		Java
JavaScript		JavaScript
Kotlin		Kotlin
LLVM		LLVM
Perl6		Perl6
Php		Php
Prolog		Prolog
Python		Python
R		R
Racket		Racket
Ruby		Ruby
Rust		Rust
SQL		SQL
Scala		Scala
Scheme		Scheme
Shell		Shell
TensorFlow		TensorFlow
TypeScript		TypeScript
Unity3D		Unity3D
VBS		VBS
lua		lua
.gitignore		.gitignore
README.md		README.md
pull-all.sh		pull-all.sh
push-all.sh		push-all.sh