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:
- Computes innocently excludable and includable sets of alternatives☆13Oct 14, 2021Updated 4 years ago
- Lecture notes on intensional semantics by Kai von Fintel and Irene Heim☆46Aug 11, 2024Updated last year
- Semantic graph parser based on Categorial grammars☆16Jun 29, 2025Updated 8 months ago
- A Typst package to display chessboards.☆33Jan 5, 2026Updated last month
- Common English Lexicon (CEL), a word list with common words, for word games☆42Jun 16, 2022Updated 3 years ago
- Visual Novel Interpreter for iOS☆16Feb 15, 2012Updated 14 years ago
- Pandoc Lua filter for linguistic examples☆44Sep 3, 2025Updated 5 months ago
- MG top-down beam parsing☆13Jul 2, 2018Updated 7 years ago
- Generate a 3D picture (Multi Picture Object) from two jpeg☆10Mar 16, 2024Updated last year
- Templates etc. for creating experiments using Ibex Farm.☆11Jul 21, 2018Updated 7 years ago
- Deep Learning (PyTorch) Models Deployment using SQL databases☆10Jul 25, 2021Updated 4 years ago
- Because the Access Virus line of synthesizer has now been discontinued, I have uploaded the Access Virus TI2 firmware so everyone can use…☆18May 15, 2024Updated last year
- Solutions to math olympiad problems in Isabelle/HOL☆11May 29, 2021Updated 4 years ago
- My Dutch steno theory and dictionary☆13Oct 19, 2025Updated 4 months ago
- Ghost theme in the style of Edward Tufte's books and handouts☆10Aug 30, 2015Updated 10 years ago
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆10Mar 8, 2016Updated 9 years ago
- Demo of an In-database processing tool for scikit-learn☆13Oct 18, 2022Updated 3 years ago
- Dialouge template☆17Feb 4, 2025Updated last year
- G'MIC-Qt is a versatile front-end to the image processing framework G'MIC.☆16Updated this week
- Because why wouldn't you want to typeset Coq in Scribble?☆10Oct 3, 2019Updated 6 years ago
- Emacs Math Symbol Input and LaTeX conversion tools.☆13Oct 5, 2020Updated 5 years ago
- Exploring techniques for code refactoring with formal verification☆11Oct 27, 2024Updated last year
- Quick-start tutorial for specifying a new processor in ghidra☆13Nov 24, 2021Updated 4 years ago
- Experiment with synthetic domain theory in cubical agda☆14Nov 8, 2022Updated 3 years ago
- ☆13Nov 26, 2021Updated 4 years ago
- Digital musical instrument design framework created for MIT course 21M.370☆13Apr 2, 2025Updated 11 months ago
- McLulang: The message is the language☆12Aug 23, 2024Updated last year
- mp2k-clef is a player and VST3/CLAP plugin for MusicPlayer2000 tracks from Game Boy Advance games.☆13Updated this week
- Pandoc-powered Previewer for Atom☆14Dec 1, 2015Updated 10 years ago
- MOVED TO CODEBERG minimal live coding dsp with assemblyscript☆16Aug 23, 2025Updated 6 months ago
- Upload files to an archive.org collection in your GitHub Action☆12Mar 24, 2024Updated last year
- Fightcade SNES9X emulator☆13Nov 8, 2020Updated 5 years ago
- Mopidy-Podcast extension for searching and browsing podcasts on the iTunes Store☆15Apr 3, 2022Updated 3 years ago
- A framework for natural language syntax and semantics based on type theory.☆13Feb 28, 2024Updated 2 years ago
- Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars☆14Oct 9, 2025Updated 4 months ago
- no bullshit screen capture tool☆13Mar 9, 2019Updated 6 years ago
- a little autoharp for your phone and thumbs!☆61Aug 7, 2025Updated 6 months ago
- Wrap up Haskell tools☆15May 14, 2021Updated 4 years ago
- TPTP linear logic version☆15Jan 27, 2025Updated last year