zaitsev85 / message-from-spaceLinks
☆34Updated last year
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:
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 3 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- ☆23Updated 7 years ago
- A Haskell IDE for Visual Studio Code.☆26Updated last week
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated 5 months ago
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆59Updated 5 years ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆16Updated 6 years ago
- experimental auto-currying for rust functions☆32Updated 5 years ago
- Formalism and proofs for esverify☆19Updated 7 years ago
- Dhall support for the DOT language for graphviz☆37Updated 2 years ago
- Kempe is a compiled stack-based language☆58Updated 8 months ago
- A functional scripting language.☆18Updated 5 months ago
- Efficient implementation of the implicit treap data structure☆62Updated 3 years ago
- deprecated by `design-tools`☆17Updated 6 years ago
- ☆8Updated 2 years ago
- it's a starcraft clone but with a dope typesystem☆49Updated 5 years ago
- ☆16Updated 2 years ago
- Simple, elegant, profunctorial, applicative validation for product types!☆19Updated 3 years ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 6 years ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆48Updated 3 months ago
- My Idris2 solutions/attempts for Advent of Code 2020☆17Updated 4 years ago
- A syntax checker for TOML files☆28Updated 5 years ago
- Convert, manipulate, analyze, blend, color scales, color schemes☆44Updated 3 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 5 months ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- Malfunction backend for Idris 2☆12Updated 3 years ago
- a language about nothing☆19Updated 5 years ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 5 years ago
- language verification, construction, and analysis☆20Updated 3 years ago