Pinned Repositories
nix-phps
Repository of Nix expressions for old PHP versions
related_post_gen
Data Processing benchmark featuring Rust, Go, Swift, Zig, Julia etc.
eocia-lean
Essentials of Compilation: An Incremental Approach in Lean 4
batteries
The "batteries included" extended library for the Lean programming language and theorem prover
brago
Manage resources in Go using "Bracket Pattern".
dotfiles
flakes for m[A]chines
ted
Text EDitor
thelissimus's Repositories
thelissimus/dotfiles
flakes for m[A]chines
thelissimus/ted
Text EDitor
thelissimus/brago
Manage resources in Go using "Bracket Pattern".
thelissimus/dynoform
ReScript eDSL to encode dynamic forms
thelissimus/data-structures
Implementations of common data structures
thelissimus/forth
Forth language implementation (wip)
thelissimus/hs-challenge
An example full-stack app covered with tests in Clojure.
thelissimus/lisp-r5rs
R5RS Scheme Implementation (wip)
thelissimus/thelissimus
thelissimus/en.javascript.info
Modern JavaScript Tutorial
thelissimus/harg
Haskell program configuration using higher kinded data
thelissimus/leandate
Leandate - A date and time library for Lean4
thelissimus/megaparsec
Industrial-strength monadic parser combinator library
thelissimus/MicroHs
Haskell implemented with combinators
thelissimus/nixpkgs
Nix Packages collection & NixOS
thelissimus/proc-macro-workshop
Learn to write Rust procedural macros [Rust Latam conference, Montevideo Uruguay, March 2019]
thelissimus/related_post_gen
Data Processing benchmark featuring Rust, Go, Swift, Zig, Julia etc.
thelissimus/std4
Standard Library for Lean 4
thelissimus/talks
thelissimus/theorem_proving_in_lean4
Theorem Proving in Lean 4