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:
- cargo +nightly build☆34Updated 6 years ago
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Updated 7 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 6 years ago
- abstraction for auto scrubbing and const time Eq, memory chunk☆17Updated 5 years ago
- ☆23Updated 7 years ago
- NanoVG Haskell bindings☆22Updated 2 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆14Updated 5 years ago
- Deep evaluation of data structures☆41Updated last month
- Hood debugger, based on the idea of observing functions and structures as they are evaluated.☆20Updated 7 years ago
- Reading, writing and manipulating ".tar" archive files.☆40Updated 4 months ago
- Shell.☆14Updated 8 years ago
- Haskell types and parsers for software version numbers.☆21Updated 5 months ago
- Haskell library for glob matching☆25Updated 3 years ago
- Dependent hash maps☆14Updated 3 months ago
- WIP: A pretty-printer wrapper to facilitate ease of formatting during development☆8Updated 7 years ago
- A compiler from mini-STG to Wasm (**far from complete**)☆14Updated 8 years ago
- 🔖 Better Haskell documentation.☆17Updated 4 years ago
- Easily generate Hoogle indices for installed packages☆25Updated 9 years ago
- Library for invertible parsing and printing☆32Updated last year
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- A syntax checker for TOML files☆28Updated 5 years ago
- phantom types☆38Updated 5 months ago
- A natural transformation package☆16Updated 4 months ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆18Updated 8 years ago
- This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-bash☆21Updated 6 years ago
- Yes, it is what you think it is☆33Updated 9 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated last year
- Compression and decompression in the gzip and zlib formats☆37Updated last month
- ☆21Updated 9 years ago