alex-wellbelove

Pinned Repositories

alex-wellbelove.github.io
Language:HTML00
chat-langchain-readthedocs
Language:Python0 0 00
cli-media-viewer
View media from elinks
Language:Shell10
haskell-scheme-interpreter
Implements Scheme in Haskell
Language:Haskell0 1 00
lean-todomvc
A todoMVC implementation in lean
Language:Lean1 1 00
lean4
Lean 4 programming language and theorem prover
Language:Lean00
lean_sqlite
Lean 4 bindings to libSqlite. WIP.
Language:C0 1 00
LeanServer
A micro web framework in Lean 4
Language:Lean0 1 00
mathlib4
Work in progress mathlib port for lean 4
Language:Lean0 0 00
Socket.lean
A fork of Xubaiw's Socket.lean, that builds with the latest Lean.
Language:C01

alex-wellbelove's Repositories

alex-wellbelove/cli-media-viewer
View media from elinks
Language:Shell10
alex-wellbelove/lean-todomvc
A todoMVC implementation in lean
Language:Lean1 1 00
alex-wellbelove/alex-wellbelove.github.io
Language:HTML00
alex-wellbelove/chat-langchain-readthedocs
Language:Python0 0 00
alex-wellbelove/haskell-scheme-interpreter
Implements Scheme in Haskell
Language:Haskell0 1 00
alex-wellbelove/lean4
Lean 4 programming language and theorem prover
Language:Lean00
alex-wellbelove/lean_sqlite
Lean 4 bindings to libSqlite. WIP.
Language:C0 1 00
alex-wellbelove/LeanServer
A micro web framework in Lean 4
Language:Lean0 1 00
alex-wellbelove/mathlib4
Work in progress mathlib port for lean 4
Language:Lean0 0 00
alex-wellbelove/Socket.lean
A fork of Xubaiw's Socket.lean, that builds with the latest Lean.
Language:C01
alex-wellbelove/netlify-testing
Language:Astro1 0
alex-wellbelove/postgresql-simple
Mid-level client library for accessing PostgreSQL from Haskell
Language:Haskell
alex-wellbelove/puppeteer
Headless Chrome Node.js API
alex-wellbelove/siege
Siege is an http load tester and benchmarking utility
Language:C1 0