A simple dependently typed language based on the Calculus of Constructions.
☆19Jul 31, 2020Updated 5 years ago
Alternatives and similar repositories for ttyped
Users that are interested in ttyped are comparing it to the libraries listed below
Sorting:
- Calculus of Constructions Implementation☆17Dec 20, 2019Updated 6 years ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years ago
- An implementation of structural subtyping of records and functions☆13Jul 14, 2018Updated 7 years ago
- ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2☆23Dec 5, 2024Updated last year
- The MLPolyR programming language, revived☆25Oct 15, 2020Updated 5 years ago
- LexiFi runtime types☆35Nov 2, 2020Updated 5 years ago
- Experimental model checker for testing concurrent algorithms☆43Dec 17, 2024Updated last year
- mirror of A simple type-theoretic language: Mini-TT☆41Feb 15, 2017Updated 9 years ago
- Bonn Lean course for winter 24/25☆42Jan 8, 2026Updated last month
- T-Sql type checker that detects improper joins, invalid null value operations, enumeration check constraint violations, incorrect use of …☆11May 14, 2018Updated 7 years ago
- Tax types and computations for Australia☆12Dec 8, 2025Updated 2 months ago
- A powerful airgapped CLI tool for executing Ethereum validator operations including consolidation, switching, and both partial and full w…☆13Jan 13, 2026Updated last month
- A list of companies focusing on geospatial intelligence, GIS, RS, Climate risks, and more☆20Jul 29, 2025Updated 7 months ago
- Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/☆12Jan 15, 2026Updated last month
- Scala発火村の資料ですお☆30Oct 18, 2010Updated 15 years ago
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 6 years ago
- Building compilers for lexical analysis & parsing☆12Feb 20, 2022Updated 4 years ago
- Community edition of Nightfall_4☆16Feb 22, 2026Updated last week
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Jul 12, 2017Updated 8 years ago
- JavaScript implementation of Bitcoin BIP39☆11Aug 12, 2025Updated 6 months ago
- Interpreter for inference rules☆13May 5, 2018Updated 7 years ago
- Paradoxes in Set Theory and Type Theory☆12Jul 24, 2024Updated last year
- ☆13Mar 17, 2012Updated 13 years ago
- ☆20Feb 27, 2023Updated 3 years ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10May 31, 2022Updated 3 years ago
- ☆10Jan 27, 2026Updated last month
- 阿里云OSS的Clojure SDK封装☆10Mar 28, 2020Updated 5 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- Website for CSE230☆10Jan 29, 2016Updated 10 years ago
- A Haskell library making it easier to write Alex lexers.☆12Sep 15, 2025Updated 5 months ago
- A scheduler independent blocking mechanism☆19Feb 15, 2024Updated 2 years ago
- A mostly FP implementation of Schorre's "syntax-oriented compiler writing language"☆13Mar 21, 2019Updated 6 years ago
- The companion code to the paper "Model-based Causal Bayesian Optimization"☆11Nov 16, 2022Updated 3 years ago
- ☆12Mar 15, 2021Updated 4 years ago
- ☆10Aug 13, 2019Updated 6 years ago
- ☆11Sep 10, 2024Updated last year
- A plugin for circuit notation☆12Aug 8, 2025Updated 6 months ago
- A library that implements the websocket protocol on top of Async☆14Jan 15, 2026Updated last month
- Simple, existential optics library for OCaml☆17Sep 24, 2022Updated 3 years ago