dmort27 / HsSPELinks
Haskell phonology library.
☆10Updated 13 years ago
Alternatives and similar repositories for HsSPE
Users that are interested in HsSPE are comparing it to the libraries listed below
Sorting:
- GRIN backend for Idris☆50Updated 5 years ago
- A library for non-deterministically parsing natural language expressions into a structured form.☆17Updated 2 years ago
- Reimplementation of a subset of Cabal☆32Updated last week
- ☆13Updated last month
- Ghosts of Departed Proofs☆61Updated 4 years ago
- Matrix.org haskell client library☆25Updated 2 weeks ago
- Invertible parsing for S-expressions☆34Updated 6 months ago
- A fully type-safe finite state machines☆19Updated 10 months ago
- A bit of DSLs, a bit of I/O☆15Updated last year
- Grammatical Framework's Resource Grammar Library (RGL)☆59Updated this week
- a library for experimental linear lambda calculus☆20Updated 2 years ago
- ☆29Updated last month
- Grammatical Framework core: compiler, shell & runtimes☆142Updated 3 weeks ago
- A framework for natural language syntax and semantics based on type theory.☆13Updated last year
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Updated last year
- Javascript DOM bindings for Idris2☆52Updated 3 months ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆15Updated 8 months ago
- Idris Todo web application example☆42Updated 2 years ago
- The Prettiest Printer☆35Updated last year
- Grammatical parsers - combinator library for parsing general context-free grammars☆42Updated last month
- Haskell library for doing category theory with a central role for profunctors☆23Updated this week
- Automatic piecewise-mutable references for your types☆42Updated 5 years ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- A Haskell roguelike toolkit☆12Updated 3 months ago
- Framework for writing fully native apps using Reflex, a Functional Reactive Programming library for Haskell.☆43Updated 6 years ago
- Universal Live Coding & Functional Reactive Programming Framework☆68Updated last month
- apkg - package manager for Agda☆38Updated 4 years ago
- A 3D game engine written in Haskell and OpenGL Shading Language. The goal is to make a 3D tribute to ZZT, including a game creation syst…☆47Updated last month
- ☆45Updated 2 years ago
- A prolog interpreter written in Haskell.☆62Updated 10 years ago