axionbuster

Pinned Repositories

cmmtest
CMake: Getting C++20 Modules to Work
Language:CMake0 1 00
ctpractice1
Continuation-Passing Style Practice #1
Language:Haskell10
flatparsebug-ghc
Language:Haskell00
grass
Gravity
Language:C++0 1 210
lean4
Lean 4 programming language and theorem prover
Language:Lean0 0 00
pointfree.io
A web site for converting haskell code into pointfree haskell code
Language:HTML0 0 00
quat1
Quaternion Calculator
Language:HTML0 1 00

axionbuster's Repositories

axionbuster/ctpractice1
Continuation-Passing Style Practice #1
Language:Haskell10
axionbuster/cmmtest
CMake: Getting C++20 Modules to Work
Language:CMake0 1 00
axionbuster/flatparsebug-ghc
Language:Haskell00
axionbuster/grass
Gravity
Language:C++0 1 210
axionbuster/lean4
Lean 4 programming language and theorem prover
Language:Lean0 0 00
axionbuster/pointfree.io
A web site for converting haskell code into pointfree haskell code
Language:HTML0 0 00
axionbuster/quat1
Quaternion Calculator
Language:HTML0 1 00