TiML: A Functional Programming Language with Time Complexity
☆80Aug 28, 2017Updated 8 years ago
Alternatives and similar repositories for timl
Users that are interested in timl are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ScopeT and ScopeH☆13Aug 3, 2024Updated last year
- A usable type system for call by push-value☆33Dec 16, 2019Updated 6 years ago
- Map lazy functional language constructs to LLVM IR☆52Jun 21, 2019Updated 6 years ago
- Label dependent dependent session types☆16May 2, 2024Updated last year
- an experiment in presenting code.☆14Aug 11, 2020Updated 5 years ago
- Formalising Type Theory in a modular way for translations between type theories☆95Jan 10, 2018Updated 8 years ago
- Template repo for theorem proving in Liquid Haskell☆33Sep 19, 2018Updated 7 years ago
- Artefact from the POPL'16 paper "Effects as Sessions, Sessions as Effects"☆15Jan 11, 2018Updated 8 years ago
- Proof checker for propositional logic☆16Jul 7, 2017Updated 8 years ago
- Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Aug 11, 2017Updated 8 years ago
- "Programs that explain their effects" talk material☆17Jun 22, 2018Updated 7 years ago
- Inline, type safe X86-64 assembly programming in Agda☆69Jan 3, 2019Updated 7 years ago
- An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)☆150Sep 30, 2021Updated 4 years ago
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Mar 26, 2020Updated 5 years ago
- A prototype implementation of the Frank programming language☆17Feb 11, 2016Updated 10 years ago
- Interpreter for functional pure type systems.☆21Jun 30, 2017Updated 8 years ago
- Haskell library for non-deterministic pattern matching☆17Dec 21, 2025Updated 3 months ago
- Type Safe LLVM IR ( Experimental )☆49Jun 13, 2018Updated 7 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago
- Edit is a monad for rewriting things.☆23Sep 9, 2020Updated 5 years ago
- A minimal proof language.☆213Jan 26, 2019Updated 7 years ago
- Replib: generic programming & Unbound: generic treatment of binders☆46Oct 18, 2022Updated 3 years ago
- Standard ML compiler based on typed intermediate languages.☆51Aug 22, 2014Updated 11 years ago
- New version of the PML language and (classical) proof assistant☆21Feb 13, 2026Updated last month
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- ☆41Jul 2, 2017Updated 8 years ago
- The Alms Programming Language☆44Aug 29, 2018Updated 7 years ago
- An implementation of the "lightweight" linear type system for System F◦ presented in "Lightweight Linear Types in System F◦" by Mazurak, …☆33Mar 18, 2015Updated 11 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆706Mar 2, 2026Updated 3 weeks ago
- Mostly Automated Synthesis of Correct-by-Construction Programs☆157Jan 27, 2026Updated last month
- A tiny *optimising* compiler for an imperative programming language written in haskell☆161Aug 28, 2019Updated 6 years ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Jan 3, 2018Updated 8 years ago
- ☆23Aug 30, 2017Updated 8 years ago
- Thoughts and stuff☆72Apr 30, 2020Updated 5 years ago
- Quantitative Type Theory implementation☆54Jun 2, 2021Updated 4 years ago
- Dependently Typed Lambda Calculus in Haskell☆116Mar 8, 2021Updated 5 years ago
- Lambda Calculus with quote and unquote☆19Jun 29, 2020Updated 5 years ago
- Bring fusion to everyone☆14Feb 6, 2020Updated 6 years ago
- compiler with polyhedral optmization for a lazy functional programming language☆68Oct 8, 2017Updated 8 years ago