asandroq

Alex Silva's repositories

A Scheme compiler and virtual machine

Language:CMIT25 20

A ray-tracer scriptable in Lua

Language:C++GPL-2.04 20

A backend for Idris that uses Gambit Scheme as intermediate language

Language:HaskellBSD-3-Clause2 10

A fluid simulator

Language:C++1 30

A cargo-subcommand to speed up Rust Docker builds using Docker layer caching.

Language:RustApache-2.0000

Gambit is an efficient implementation of the Scheme programming language.

Language:C010

A central repository of Haskell Game Programming resources, put together by Keera Studios

Language:Haskell010

Notes and files from HaskellerZ meetups.

Language:HTML000

A purely functional programming language with first class types

Language:IdrisNOASSERTION000

Toy typechecker and interpreter for the Mirage language.

Language:RustMIT000

Transaction processing code for the Hold-a-Coin corporation.

Language:RustMIT000

A Dependently Typed Functional Programming Language

Language:HaskellNOASSERTION000

The Library

Language:CNOASSERTION010

Emacs client/library for the Language Server Protocol

Language:Emacs LispGPL-3.0000

"Stable Hackage": vetted consistent packages from Hackage

Language:ShellMIT000