zaitsev85 / message-from-spaceLinks
☆34Updated 2 years ago
Alternatives and similar repositories for message-from-space
Users that are interested in message-from-space are comparing it to the libraries listed below
Sorting:
- Pijul <-> Git proxy☆22Updated 6 years ago
- A syntax checker for TOML files☆28Updated 6 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- The Yatima Standard Library☆20Updated 2 years ago
- ☆23Updated 8 years ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 7 years ago
- Tutorial / REPL for the lambda calculus☆67Updated last year
- Haskell In New Clothes☆110Updated 5 years ago
- Rust implementation of Ray Tracing in One Weekend☆12Updated 5 years ago
- Dhall support for the DOT language for graphviz☆38Updated 3 years ago
- Haskell implementation of Nanoid, secure URL-friendly unique ID generator.☆20Updated 8 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated last year
- Generate NetHack configurations using Dhall☆37Updated 4 years ago
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 3 years ago
- theseus, functional programming language with fully reversible computation☆125Updated 6 years ago
- Finite state machines as graphs☆60Updated 5 years ago
- Kempe is a compiled stack-based language☆58Updated last year
- ☆54Updated 5 years ago
- Dhall helpers for github actions☆54Updated 2 years ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆50Updated last week
- A Typed, Composable Database Query Language☆104Updated 4 years ago
- Get a GUI fast in any language under the sea!☆47Updated 2 years ago
- SVG Combinators for Haskell☆23Updated 8 years ago
- ☆37Updated 6 months ago
- covid-19 data in J☆16Updated 4 years ago
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆60Updated 5 years ago
- Haskell binding for PADS☆21Updated 6 years ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆17Updated 6 years ago
- ☆35Updated 6 years ago
- Simple, elegant, profunctorial, applicative validation for product types!☆19Updated 4 years ago