thelissimus

kei's repositories

flakes for m[A]chines

Language:NixBSD-3-Clause3 10

Text EDitor

Language:CBSD-3-Clause3 10

Manage resources in Go using "Bracket Pattern".

Language:GoBSD-3-Clause1 10

ReScript eDSL to encode dynamic forms

Language:ReScriptBSD-3-Clause1 10

Implementations of common data structures

Language:CBSD-3-Clause010

Forth language implementation (wip)

Language:HaskellBSD-3-Clause010

An example full-stack app covered with tests in Clojure.

Language:ClojureBSD-3-Clause010

R5RS Scheme Implementation (wip)

Language:HaskellBSD-3-Clause010

010

Modern JavaScript Tutorial

Language:HTMLNOASSERTION000

Haskell program configuration using higher kinded data

BSD-3-Clause000

Nix Packages collection & NixOS

Language:NixMIT010

Data Processing benchmark featuring Rust, Go, Swift, Zig, Julia etc.

Language:C++MIT000

Standard Library for Lean 4

Language:LeanApache-2.0000

Language:TypeScript010