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
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
- Formalising Type Theory in a modular way for translations between type theories☆95Jan 10, 2018Updated 8 years ago
- an experiment in presenting code.☆14Aug 11, 2020Updated 5 years ago
- A prototype implementation of the Frank programming language☆17Feb 11, 2016Updated 10 years ago
- Label dependent dependent session types☆16May 2, 2024Updated last year
- Template repo for theorem proving in Liquid Haskell☆32Sep 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
- "Programs that explain their effects" talk material☆17Jun 22, 2018Updated 7 years ago
- Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Aug 11, 2017Updated 8 years ago
- A minimal proof language.☆213Jan 26, 2019Updated 7 years ago
- New version of the PML language and (classical) proof assistant☆21Feb 13, 2026Updated 2 weeks ago
- An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)☆150Sep 30, 2021Updated 4 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 10 years ago
- Interpreter for functional pure type systems.☆21Jun 30, 2017Updated 8 years ago
- Type Safe LLVM IR ( Experimental )☆49Jun 13, 2018Updated 7 years ago
- Inline, type safe X86-64 assembly programming in Agda☆69Jan 3, 2019Updated 7 years ago
- A VM written following the Linear Abstract Machine architecture☆22Oct 1, 2019Updated 6 years ago
- Edit is a monad for rewriting things.☆23Sep 9, 2020Updated 5 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆703Updated this week
- Replib: generic programming & Unbound: generic treatment of binders☆46Oct 18, 2022Updated 3 years ago
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Mar 26, 2020Updated 5 years ago
- A compiler for a Standard-ML like language that generates code suitable for embedded computers.☆11Jul 10, 2023Updated 2 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- Erlang source code parser written in Rust☆10Oct 15, 2021Updated 4 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 7 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago
- Mostly Automated Synthesis of Correct-by-Construction Programs☆157Jan 27, 2026Updated last month
- ☆41Jul 2, 2017Updated 8 years ago
- Experimental Malfunction backend for Idris☆82Jun 20, 2018Updated 7 years ago
- Dependently Typed Lambda Calculus in Haskell☆116Mar 8, 2021Updated 4 years ago
- The Alms Programming Language☆44Aug 29, 2018Updated 7 years ago
- Compositional type checking for a Hindley-Milner type system☆11Mar 28, 2017Updated 8 years ago
- Implementation of some Erlang primitives in OCaml☆11Jun 16, 2017Updated 8 years ago
- 🧠 Type-safe memory units☆61Nov 6, 2020Updated 5 years ago
- Thoughts and stuff☆72Apr 30, 2020Updated 5 years ago
- Frank compiler☆305Apr 23, 2024Updated last year