Pinned Repositories
ednaldo
🗣️ | Javascript interpreter for ednaldo language
idris-4-noobs
📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).
melp
🕸️ | Incomplete HTTP/1.1 Server in Lean4 for Rinha de backends
nuko
🎮 | Is a programming language aimed at incorporating everything I’d like to have in Haskell, except dependent types.
soda
🥤 | Toy parser combinator
uwu
✨ | a simple yet awesome configuration to make MY desktop look and feel amazing
vulpi
🦊 | A language that compiles to LLVM and has algebraic effects
rinha
🧪 | Rinha de Backend Lean4
http
🌐 | HTTP primitives for Lean 4
lean4
Lean 4 programming language and theorem prover
algebraic-dev's Repositories
algebraic-dev/vulpi
🦊 | A language that compiles to LLVM and has algebraic effects
algebraic-dev/soda
🥤 | Toy parser combinator
algebraic-dev/ash
🪵| Incomplete Express like library
algebraic-dev/parse
🧩 | Parser generation for Lean 4.
algebraic-dev/voxelia
🧊 | Voxel engine in rust :)
algebraic-dev/algebraic-dev
algebraic-dev/galop
🏃 | Test runner for Rinha of compilers.
algebraic-dev/salem
🗼 | Unification algorithms
algebraic-dev/colorized
🌈 | A Lean 4 library designed to enhance terminal output with vibrant ANSI escape sequences.
algebraic-dev/specs
🧪 | A test framework for Lean 4.
algebraic-dev/JSON
🍫 | JSON parser for Lean4
algebraic-dev/time
Date primitives for lean based on chrono and time
algebraic-dev/algebraic.dev
🕸️ | A website in Svelte
algebraic-dev/ethereum-playground
⟠ | My Ethereum Playground
algebraic-dev/lean-libuv
Bindings to LibUV in Lean
algebraic-dev/rinha
🧪 | Rinha de Backend Lean4
algebraic-dev/case-insensitive
Case Insensitive String for Lean4
algebraic-dev/lean-regex
algebraic-dev/lean4
Lean 4 programming language and theorem prover
algebraic-dev/loogle
Mathlib search tool
algebraic-dev/luv
❤️ | A simple toy programming language used to learn about writing fast LSPs.
algebraic-dev/machine-json-rpc
Cartesi Machine JsonRpc bindings
algebraic-dev/parse-bench
📈 | Benchmarking for parse.lean using a simplified subset of HTTP/1.1 with chunked encoding, providing performance insights and optimizations for Lean-based parsing
algebraic-dev/requests
🏃 | Simple HTTP Client for Lean4
algebraic-dev/cartesi
🧱 | Library to interact with Cartesi and make DApps
algebraic-dev/emulator-tests
⟠ | My Cartesi Emulator Playground
algebraic-dev/machine-emulator-tools
Set of tools to help the development
algebraic-dev/script-wars
🎮 | A game renderer and engine for a 2D game centered around scripting languages.
algebraic-dev/Socket.lean
A fork of Xubaiw's Socket.lean, that builds with the latest Lean.
algebraic-dev/soft
🧪 | Lisp with REPL and macros which will compile itself. That I used to code with the person I love.