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
- GRIN backend for Idris☆50Updated 5 years ago
- A Python backed for Idris 2☆29Updated 2 weeks ago
- An implementation of "A Pretty Expressive Printer" in Racket☆28Updated last year
- a library for experimental linear lambda calculus☆20Updated 2 years ago
- Relational algebra implementation in Agda with simple bindings to SQLITE☆13Updated 2 years ago
- Grammatical Framework core: compiler, shell & runtimes☆145Updated last month
- Standard ML Infrastructure for writing LSP servers☆14Updated last year
- A framework for natural language syntax and semantics based on type theory.☆13Updated last year
- Javascript DOM bindings for Idris2☆52Updated last month
- An implementation of miniKanren in Haskell☆79Updated 12 years ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Updated last year
- Grammatical Framework's Resource Grammar Library (RGL)☆60Updated 2 weeks ago
- An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.☆20Updated 4 years ago
- Experimental effects library for Idris 2☆43Updated 3 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆58Updated last year
- Pretty-print error messages of the ATS Compiler☆37Updated 6 years ago
- A modal FRP language embedded in Haskell.☆14Updated 2 years ago
- A continuation-based backtracking logic programming monad☆93Updated last year
- Lecture notes on intensional semantics by Kai von Fintel and Irene Heim☆46Updated last year
- ☆12Updated 5 years ago
- The original Edinburgh LCF.☆34Updated 9 years ago
- A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml☆24Updated 8 months ago
- The Iowa Agda Library☆53Updated last month
- Basics of the dependently-typed functional language Agda ^_^☆40Updated 3 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 6 years ago
- Univalence from scratch in Idris☆19Updated 7 years ago
- ☆14Updated last month
- an implementation of stuck macros☆149Updated last week
- Invertible parsing for S-expressions☆34Updated 8 months ago