Pinned Repositories
cargo-chef
A cargo-subcommand to speed up Rust Docker builds using Docker layer caching.
gambit
Gambit is an efficient implementation of the Scheme programming language.
haskell-game-programming
A central repository of Haskell Game Programming resources, put together by Keera Studios
idris-gambit
A backend for Idris that uses Gambit Scheme as intermediate language
Idris2
A purely functional programming language with first class types
mirage
Toy typechecker and interpreter for the Mirage language.
orbis
A fluid simulator
sly
A Scheme compiler and virtual machine
virtuality
A ray-tracer scriptable in Lua
asandroq's Repositories
asandroq/sly
A Scheme compiler and virtual machine
asandroq/virtuality
A ray-tracer scriptable in Lua
asandroq/idris-gambit
A backend for Idris that uses Gambit Scheme as intermediate language
asandroq/orbis
A fluid simulator
asandroq/cargo-chef
A cargo-subcommand to speed up Rust Docker builds using Docker layer caching.
asandroq/gambit
Gambit is an efficient implementation of the Scheme programming language.
asandroq/haskell-game-programming
A central repository of Haskell Game Programming resources, put together by Keera Studios
asandroq/HaskellerZ
Notes and files from HaskellerZ meetups.
asandroq/Idris2
A purely functional programming language with first class types
asandroq/mirage
Toy typechecker and interpreter for the Mirage language.
asandroq/hold-a-coin
Transaction processing code for the Hold-a-Coin corporation.
asandroq/Idris-dev
A Dependently Typed Functional Programming Language
asandroq/libgit2
The Library
asandroq/lsp-mode
Emacs client/library for the Language Server Protocol
asandroq/stackage
"Stable Hackage": vetted consistent packages from Hackage