Lists (3)
Stars
A strongly-typed language that compiles to JavaScript
Cryptographic currency implementing Ouroboros PoS protocol
Agda is a dependently typed programming language / interactive theorem prover.
Research language for array processing in the Haskell/ML family
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
A native compiler backend for PureScript (via C++ or Golang)
A multi-syntax functional programming language that compiles to WebAssembly.
Minimal implementations for dependent type checking and elaboration
A type-safe, high-level SQL library for Haskell
A Haskell library for creating WebSocket-capable servers
New home of Esqueleto, please file issues so we can get things caught up!
A bare-bones calculus-of-constructions
A Haskell library for typesafe music composition
Dependent type checker using normalisation by evaluation
Where Lions Roam: RISC-V on the VELDT
A package manager for PureScript based on package sets
A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
Automatically derive Elm functions to query servant webservices
Example for a web app with a servant backend and an elm frontend
Distributed programming language that desugars to Morte
jarmlib is Jack Armitage's (mostly TidalCycles) live coding library
This package and method of using MIDI in Tidal is obsolete. Please use SuperDirt MIDI instead.
A RiscV processor implementing the RV32I instruction set written in Clash