Type-driven syntactic and semantic effectful parsing for NL
☆15Nov 3, 2025Updated 6 months ago
Alternatives and similar repositories for TDParse
Users that are interested in TDParse are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
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☆48Aug 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 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Lambda Notebook: Formal Semantics in Jupyter☆30May 4, 2026Updated 2 weeks ago
- A Typst package to display chessboards.☆37Jan 5, 2026Updated 4 months ago
- ☆17May 14, 2021Updated 5 years ago
- TrinityCore Open Source MMO Framework (master = 8.0.1.28153, 3.3.5 = 3.3.5a.12340)☆11May 16, 2026Updated last week
- A bit of DSLs, a bit of I/O☆15Oct 19, 2023Updated 2 years ago
- Compiler backend for generating Scheme code☆28Nov 27, 2025Updated 5 months ago
- a PGF/TikZ-based LaTeX package for drawing (linguistic) trees☆72Jul 19, 2019Updated 6 years ago
- Experiment with synthetic domain theory in cubical agda☆14Nov 8, 2022Updated 3 years ago
- Because why wouldn't you want to typeset Coq in Scribble?☆10Oct 3, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆13Mar 22, 2026Updated 2 months ago
- being the teaching materials and exercises for CS410 Advanced Functional Programming at the University of Strathclyde, 2022/23 session☆18Nov 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
- Pandoc Lua filter for linguistic examples☆46Sep 3, 2025Updated 8 months ago
- Pandoc-powered Previewer for Atom☆14Dec 1, 2015Updated 10 years ago
- A Haskell implementation of 2048 with Reflex.☆13Oct 1, 2017Updated 8 years ago
- MG top-down beam parsing☆14Jul 2, 2018Updated 7 years ago
- metamath proof enumerators and other things☆98Nov 16, 2025Updated 6 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Support for linguistics-style examples in Org mode☆10Dec 9, 2022Updated 3 years ago
- Material for ProLaLa Keynote☆14Feb 4, 2022Updated 4 years ago
- Run cabal inside nix-shell☆14Jul 26, 2019Updated 6 years ago
- no bullshit screen capture tool☆13Mar 9, 2019Updated 7 years ago
- ☆39Oct 23, 2021Updated 4 years ago
- A framework for natural language syntax and semantics based on type theory.☆14Feb 28, 2024Updated 2 years ago
- Verifying concurrent code with layers and movers☆13Feb 18, 2020Updated 6 years ago
- My development environment☆15Feb 18, 2020Updated 6 years ago
- TPTP linear logic version☆15Jan 27, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Experimental evaluation for the Partisan paper at USENIX ATC 2019.☆23Jun 2, 2019Updated 6 years ago
- Uses Google's Directions API to calculate commute times to/from potential homes☆13Jul 3, 2019Updated 6 years ago
- Intrinsic Verification of Formal Grammar Theory☆28May 15, 2026Updated last week
- Tools to prepare linguistic surveys for Amazon Mechanical Turk☆16Oct 3, 2017Updated 8 years ago
- A simple Prolog interpreter☆42Jan 14, 2022Updated 4 years ago
- Haskell98 indexed functors, monads, comonads☆25Mar 8, 2022Updated 4 years ago
- ☆13Jul 23, 2018Updated 7 years ago