kei's repositories
data-structures
Implementations of common data structures
hs-challenge
An example full-stack app covered with tests in Clojure.
en.javascript.info
Modern JavaScript Tutorial
Language:HTMLNOASSERTION000
harg
Haskell program configuration using higher kinded data
Language:HaskellBSD-3-Clause000
leandate
Leandate - A date and time library for Lean4
000
MicroHs
Haskell implemented with combinators
Language:HaskellNOASSERTION000
proc-macro-workshop
Learn to write Rust procedural macros [Rust Latam conference, Montevideo Uruguay, March 2019]
Language:RustApache-2.0000
related_post_gen
Data Processing benchmark featuring Rust, Go, Swift, Zig, Julia etc.
Language:C++MIT000
std4
Standard Library for Lean 4
Language:LeanApache-2.0000