ice1000 / learn

:books: codes written while learning them.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

learn is:

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

Interesting codes

About

:books: codes written while learning them.


Languages

Language:Haskell 16.4%Language:Java 14.4%Language:Agda 12.9%Language:C++ 11.8%Language:Kotlin 10.1%Language:C 8.8%Language:TSQL 3.7%Language:Python 3.4%Language:Groovy 3.3%Language:LLVM 2.6%Language:Ruby 1.9%Language:Idris 1.5%Language:Rust 1.2%Language:Dart 0.8%Language:Coq 0.8%Language:Assembly 0.7%Language:Scala 0.7%Language:Go 0.6%Language:R 0.6%Language:C# 0.5%Language:ANTLR 0.5%Language:F* 0.4%Language:TypeScript 0.4%Language:Clojure 0.4%Language:Lua 0.3%Language:Racket 0.2%Language:JavaScript 0.2%Language:Batchfile 0.2%Language:Prolog 0.1%Language:Crystal 0.1%Language:Raku 0.1%Language:VBScript 0.1%Language:Brainfuck 0.1%Language:Shell 0.0%Language:Isabelle 0.0%Language:Scheme 0.0%Language:PHP 0.0%