Type-driven syntactic and semantic effectful parsing for NL
☆15Nov 3, 2025Updated 4 months ago
Alternatives and similar repositories for TDParse
Users that are interested in TDParse are comparing it to the libraries listed below
Sorting:
- The online collaborative dictionary for the constructed language Toaq.☆14Feb 18, 2026Updated last month
- Lecture notes on intensional semantics by Kai von Fintel and Irene Heim☆47Aug 11, 2024Updated last year
- ☆18Aug 30, 2022Updated 3 years ago
- Templates etc. for creating experiments using Ibex Farm.☆11Jul 21, 2018Updated 7 years ago
- Glossa latex resources☆14Mar 13, 2026Updated last week
- A puzzle game inspired by Yume Nikki and The Witness☆12Aug 26, 2023Updated 2 years ago
- Lambda Notebook: Formal Semantics in Jupyter☆30Dec 18, 2025Updated 3 months ago
- ☆15Mar 15, 2024Updated 2 years ago
- A Typst package to display chessboards.☆35Jan 5, 2026Updated 2 months ago
- A Python package for processing research with Minimalist grammars☆21Nov 13, 2021Updated 4 years ago
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆25Nov 22, 2022Updated 3 years ago
- Compiler backend for generating Scheme code☆28Nov 27, 2025Updated 3 months ago
- Experiment with synthetic domain theory in cubical agda☆14Nov 8, 2022Updated 3 years ago
- Common English Lexicon (CEL), a word list with common words, for word games☆42Jun 16, 2022Updated 3 years ago
- Because why wouldn't you want to typeset Coq in Scribble?☆10Oct 3, 2019Updated 6 years ago
- ☆13Updated this week
- being the teaching materials and exercises for CS410 Advanced Functional Programming at the University of Strathclyde, 2022/23 session☆19Nov 22, 2022Updated 3 years ago
- Ghost theme in the style of Edward Tufte's books and handouts☆10Aug 30, 2015Updated 10 years ago
- RISC-V OCaml cross compiler☆14Feb 25, 2019Updated 7 years ago
- ☆30Sep 6, 2023Updated 2 years ago
- Pandoc Lua filter for linguistic examples☆45Sep 3, 2025Updated 6 months ago
- Pandoc-powered Previewer for Atom☆14Dec 1, 2015Updated 10 years ago
- a next‐generation free software build system☆28Jun 2, 2021Updated 4 years ago
- A Haskell implementation of 2048 with Reflex.☆13Oct 1, 2017Updated 8 years ago
- Yuyulinux, a quite experimental lightweight Linux distribution based on pacman. Also stands as proof for the fact Linux *is* about choice…☆21Jun 30, 2014Updated 11 years ago
- MG top-down beam parsing☆13Jul 2, 2018Updated 7 years ago
- metamath proof enumerators and other things☆95Nov 16, 2025Updated 4 months ago
- Font that turns steno chords into stenotype key diagrams.☆35Dec 23, 2021Updated 4 years ago
- Mopidy-Podcast extension for searching and browsing podcasts on the iTunes Store☆15Apr 3, 2022Updated 3 years ago
- a little autoharp for your phone and thumbs!☆61Aug 7, 2025Updated 7 months ago
- Material for ProLaLa Keynote☆14Feb 4, 2022Updated 4 years ago
- ☆14Mar 13, 2026Updated last week
- OCaml tutorial conducted at Abstraction 2019 (https://abstraction-iitm.surge.sh)☆15Apr 21, 2019Updated 6 years ago
- Run cabal inside nix-shell☆14Jul 26, 2019Updated 6 years ago
- no bullshit screen capture tool☆13Mar 9, 2019Updated 7 years ago
- A style guide for Coq☆18Nov 30, 2021Updated 4 years ago
- ☆39Oct 23, 2021Updated 4 years ago
- Emacs Math Symbol Input and LaTeX conversion tools.☆14Oct 5, 2020Updated 5 years ago
- Verifying concurrent code with layers and movers☆13Feb 18, 2020Updated 6 years ago