PolyglotSymposium / mappyLinks
A functional programming language. Like LISP but focused around maps rather than lists.
☆12Updated 6 years ago
Alternatives and similar repositories for mappy
Users that are interested in mappy are comparing it to the libraries listed below
Sorting:
- LaTeX sources for the Habit Programming Language Report☆24Updated 7 years ago
- An Assembly-like programming language and interpreter in Haskell☆16Updated 10 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆30Updated this week
- A two-dimensional parser combinator library.☆41Updated 8 years ago
- User-contributed extensions to diagrams☆28Updated 5 months ago
- This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-bash☆21Updated 6 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- ☆23Updated 7 years ago
- 🔖 Better Haskell documentation.☆17Updated 5 years ago
- cargo +nightly build☆34Updated 6 years ago
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Updated 7 years ago
- Morte IDE☆29Updated 7 months ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆49Updated 11 months ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆31Updated 6 years ago
- A syntax checker for TOML files☆28Updated 6 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- Shell.☆14Updated 8 years ago
- ☆16Updated 7 years ago
- abstraction for auto scrubbing and const time Eq, memory chunk☆17Updated 5 years ago
- Haskell library for glob matching☆25Updated 3 years ago
- A Dependently Typed Programming Language☆27Updated 5 years ago
- ☆23Updated 2 years ago
- Edit is a monad for rewriting things.☆23Updated 5 years ago
- An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling.☆40Updated 3 years ago
- Implementation of Martin-Löf Type Theory in Haskell☆16Updated 9 years ago
- LibSSH2 FFI bindings for Haskell☆26Updated 7 months ago
- Automatically generated Nix expressions of Stackage snapshots☆12Updated this week
- NanoVG Haskell bindings☆22Updated 2 years ago
- A partial implementation of Protocol Buffers in Idris☆32Updated 8 years ago
- SVG Combinators for Haskell☆23Updated 8 years ago