owo-lang / intellij-dtlcView external linksLinks
IntelliJ plugin for several experimental programming languages here
☆36Oct 18, 2021Updated 4 years ago
Alternatives and similar repositories for intellij-dtlc
Users that are interested in intellij-dtlc are comparing it to the libraries listed below
Sorting:
- A work-in-progress structure editor for the cooltt proof assistant.☆18Jul 28, 2022Updated 3 years ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Oct 10, 2020Updated 5 years ago
- ☆12May 9, 2015Updated 10 years ago
- Dependently-typed row-polymorphic programming language, evolved from minitt-rs☆99Sep 21, 2020Updated 5 years ago
- My Agda blog/lab/playground☆12Updated this week
- ☆12Aug 19, 2021Updated 4 years ago
- An experimental programming language.☆19May 16, 2019Updated 6 years ago
- A formalization of the theory behind the mugen library☆19Jun 24, 2024Updated last year
- A Toy Inverse Bidirectional Typechecker☆32May 13, 2019Updated 6 years ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Oct 5, 2020Updated 5 years ago
- 🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory☆22Nov 20, 2025Updated 2 months ago
- Intrinsic Verification of Formal Grammar Theory☆27Nov 22, 2025Updated 2 months ago
- Anders: Cubical Type Checker☆23Oct 23, 2023Updated 2 years ago
- A dependently typed type checker for a TT with intervals☆24Feb 6, 2020Updated 6 years ago
- 🩺 A library for compiler diagnostics☆52Nov 21, 2025Updated 2 months ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22May 20, 2021Updated 4 years ago
- Specification of Agda.☆25Jan 13, 2019Updated 7 years ago
- Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust☆121Sep 21, 2020Updated 5 years ago
- Neon lights in the night tonight and stars that shine in the open sky☆46Dec 17, 2023Updated 2 years ago
- Building A Correct-By-Construction Proof Checkers For Type Theories☆31Jan 15, 2026Updated last month
- A simple compiler for a simple imperative language, written in OCaml☆25Jan 31, 2019Updated 7 years ago
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆17Jul 10, 2025Updated 7 months ago
- ☆12Feb 11, 2019Updated 7 years ago
- A dependently typed programming language, a successor to Idris☆12Jul 18, 2021Updated 4 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- A practical http client library for sending data to http servers.☆10Jul 10, 2024Updated last year
- My type-ups for copilot to learn from.☆11Aug 30, 2022Updated 3 years ago
- Lifting Reduction Semantics through Syntactic Sugar☆13May 13, 2018Updated 7 years ago
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 3 years ago
- Survey on materials that touch on the history of Lambda Calculus☆12Sep 13, 2020Updated 5 years ago
- Various mechanized proof files for fun.☆13Aug 11, 2025Updated 6 months ago
- The Delphin Project☆10Aug 19, 2016Updated 9 years ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Jul 26, 2022Updated 3 years ago
- Library for invertible parsing and printing☆33Aug 25, 2025Updated 5 months ago
- Code from/to the book S.L.Peyton Jones, D.Lester: Implementing Functional Languages. A Tutorial, 1992☆33Aug 13, 2020Updated 5 years ago