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:
- A library for non-deterministically parsing natural language expressions into a structured form.☆18Updated 2 years ago
- Grammatical Framework core: compiler, shell & runtimes☆142Updated 2 weeks ago
- GRIN backend for Idris☆50Updated 5 years ago
- a library for experimental linear lambda calculus☆20Updated 2 years ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆15Updated 8 months ago
- A Haskell roguelike toolkit☆12Updated 3 months ago
- A Python backed for Idris 2☆28Updated last month
- ☆22Updated 5 months ago
- A fully type-safe finite state machines☆19Updated 11 months ago
- Extensible records for Idris☆25Updated 4 years ago
- Reimplementation of a subset of Cabal☆32Updated last week
- A bit of DSLs, a bit of I/O☆15Updated 2 years ago
- Lecture notes on intensional semantics by Kai von Fintel and Irene Heim☆45Updated last year
- Ghosts of Departed Proofs☆61Updated 4 years ago
- Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆27Updated 10 months ago
- ☆12Updated 5 years ago
- Invertible parsing for S-expressions☆34Updated 6 months ago
- Automatic piecewise-mutable references for your types☆42Updated 5 years ago
- A continuation-based backtracking logic programming monad☆92Updated 11 months ago
- ☆13Updated 2 months ago
- apkg - package manager for Agda☆38Updated 4 years ago
- Javascript DOM bindings for Idris2☆52Updated 2 weeks ago
- Experimental effects library for Idris 2☆43Updated 3 years ago
- Dhall bindings for Idris☆41Updated 2 months ago
- Low level Haskell bindings to the BearLibTerminal graphics library.☆21Updated 3 months ago
- A Haskell libary for fast arrowized FRP based on signal functions☆18Updated this week
- Relational algebra implementation in Agda with simple bindings to SQLITE☆13Updated 2 years ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- ☆13Updated 7 months 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 2 months ago