ambulancja / mariposa
A toy programming language with time travel
See what the GitHub community is most excited about today.
A toy programming language with time travel
Dockerfile linter, validate inline bash, written in Haskell
REST API for any Postgres database
Easy dependency management for Nix projects
ShellCheck, a static analysis tool for shell scripts
Official upstream development repository for Cabal and cabal-install
contains a package in Haskell to calculate the electronic structure properties of molecules using the Hartree-Fock method
An advanced keyboard manager
Universal markup converter
A sandbox free-world roguelike game!
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
Command line client for Nix binary cache hosting:
Koka language compiler and interpreter
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
Haskell bindings for the Botan cryptography library
The core component that is used to participate in a Cardano decentralised blockchain.
SimpleX - the first messaging platform operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!