sblaplace

Basel, Switzerland

Pinned Repositories

mathlib4
The math library of Lean 4
Language:Lean0 0 00
portfolio
Language:JavaScript11
prolisp
Language:Prolog00
proofengine
Language:Zig00
sblaplace
Config files for my GitHub profile.
00
sblaplace.github.io
00
scryer-prolog
A modern Prolog implementation written mostly in Rust.
Language:Rust0 0 00
snippets
Snippets of code with no strings attached
0 1 00
sunflower
Language:C10
website
it's my website ^~^
Language:HTML00

sblaplace's Repositories

sblaplace/portfolio
Language:JavaScript11
sblaplace/sunflower
Language:C10
sblaplace/mathlib4
The math library of Lean 4
Language:Lean0 0 00
sblaplace/prolisp
Language:Prolog00
sblaplace/proofengine
Language:Zig00
sblaplace/sblaplace
Config files for my GitHub profile.
00
sblaplace/sblaplace.github.io
00
sblaplace/scryer-prolog
A modern Prolog implementation written mostly in Rust.
Language:Rust0 0 00
sblaplace/smallweb
Kagi Small Web
Language:HTML0 0 00
sblaplace/snippets
Snippets of code with no strings attached
0 1 00
sblaplace/website
it's my website ^~^
Language:HTML00
sblaplace/soir
A Prolog based WebAssembly runtime and library
Language:Prolog
sblaplace/something-sonic
Possibly a Sonic game, possibly a dumpster fire.
Language:C
sblaplace/tarasp-booklet
Language:TypeScript
sblaplace/test_rts
Language:Rust
sblaplace/webqn
BQN web server