bollu learns implementation of dependent typing
☆34Jan 29, 2023Updated 3 years ago
Alternatives and similar repositories for minitt
Users that are interested in minitt are comparing it to the libraries listed below
Sorting:
- Writing multicore programs with Reason☆15Dec 22, 2020Updated 5 years ago
- Linear Logic for Constructive Mathematics, in Agda☆19Jul 7, 2019Updated 6 years ago
- A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.☆23Jan 28, 2026Updated last month
- My dotfile Configurations☆11Feb 22, 2026Updated last week
- Correctness of normalization-by-evaluation for STLC☆24Oct 1, 2019Updated 6 years ago
- Resources for Learning PLT Redex☆13Jul 24, 2021Updated 4 years ago
- A performance comparison between TS and JS☆17Feb 24, 2024Updated 2 years ago
- A comprehensive and practical tutorial for people to learn Purescript without any prior experience with functional programming☆13Mar 22, 2021Updated 4 years ago
- The official documentation of the OwnStore suite.☆10Apr 13, 2022Updated 3 years ago
- Distributed Protocol Combinators☆14Apr 11, 2021Updated 4 years ago
- Coq proof for the paper "Compiling a Fifty Year Journey"☆13Aug 22, 2017Updated 8 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 2 years ago
- SPJ's tutorial on implementing functional languages☆29Jul 29, 2019Updated 6 years ago
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- A parser for PureScript's corefn JSON representation.☆14Feb 9, 2019Updated 7 years ago
- Elisp(Emacs Lisp) backend for PureScript☆11Feb 8, 2022Updated 4 years ago
- It's a blog. Insert clever Haskell type signature here.☆24Feb 22, 2017Updated 9 years ago
- align ghcjs with stack☆11Nov 30, 2016Updated 9 years ago
- Read Typescript source and write Purescript types☆16Oct 8, 2019Updated 6 years ago
- BQN implementation in Julia☆18Apr 24, 2022Updated 3 years ago
- ☆36Jun 5, 2019Updated 6 years ago
- My Idris2 solutions/attempts for Advent of Code 2020☆17Dec 16, 2020Updated 5 years ago
- Implementation of tuples as a flat heterogeneous array, for FFI☆15Apr 15, 2024Updated last year
- ☆21Jan 24, 2022Updated 4 years ago
- A deterministic parser with fused lexing☆75Jul 1, 2023Updated 2 years ago
- Formal semantics in Agda.☆16Jul 2, 2015Updated 10 years ago
- Minimal implementations for dependent type checking and elaboration☆768Jan 30, 2026Updated last month
- A demo implementation of a simple dependently-typed language☆619Nov 18, 2024Updated last year
- A Haskell front-end framework☆40May 22, 2020Updated 5 years ago
- ☆41Nov 9, 2023Updated 2 years ago
- Verifying the ZX Calculus☆20Jan 16, 2026Updated last month
- A Henkin-style completeness proof for the modal logic S5☆17Jun 20, 2021Updated 4 years ago
- Skeleton app with contrived client/server examples☆20Nov 18, 2022Updated 3 years ago
- Purescript Web Application Interface. Port of the Haskell WAI library.☆20Mar 8, 2021Updated 4 years ago
- A formalization of the polymorphic lambda calculus extended with iso-recursive types☆75May 10, 2019Updated 6 years ago
- GHCJS interface for the Javascript Websocket API (DEPRECATED: use ghcjs-base's native websockets!)☆21May 13, 2016Updated 9 years ago
- A dependently typed type checker for a TT with intervals☆24Feb 6, 2020Updated 6 years ago
- Swerve is a library that offers a type-level DSL for describing server and client web applications. Inspired by Haskell's Servant library…☆21Mar 14, 2021Updated 4 years ago
- Agda formalization of Intuitionistic Propositional Logic☆22Nov 14, 2025Updated 3 months ago