polarity-lang / polarityLinks
A Language with Dependent Data and Codata Types
☆104Updated 2 weeks ago
Alternatives and similar repositories for polarity
Users that are interested in polarity are comparing it to the libraries listed below
Sorting:
- Staged compilation with dependent types☆173Updated 3 weeks ago
- a proof-of-concept programming language based on call-by-push-value☆53Updated this week
- A proof assistant for higher-dimensional type theory☆195Updated this week
- Demo for dependent types + runtime code generation☆69Updated 3 months ago
- Pure functional programming with whole-program mutability inference☆69Updated 2 weeks ago
- high-performance cubical evaluation☆72Updated last month
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆59Updated last year
- ☆33Updated 7 months ago
- 😎TT☆227Updated last year
- Benchmarks for capture-avoiding substitution☆114Updated this week
- Duo - A research language exploring duality in programming language design☆57Updated 2 years ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆191Updated last week
- Dependent type checker using normalisation by evaluation☆260Updated 8 months ago
- being an operating system for typechecking processes☆126Updated 2 years ago
- Learn Lean 4 with PLFA proofs.☆75Updated last month
- A core language and API for dependently typed languages☆94Updated 3 months ago
- ☆119Updated last year
- Alternative algorithm for algebraic subtyping.☆161Updated 3 weeks ago
- A bidirectional type checker☆63Updated 7 years ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆97Updated last week
- Parser Combinator Library for Lean 4☆49Updated 3 weeks ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- A garden of small programming language implementations 🪴☆240Updated this week
- Programming Language Foundations in Lean☆37Updated last month
- Language Server for Agda☆112Updated 5 months ago
- Admiran, a pure, lazy, functional language and self-hosting compiler based upon Miranda☆63Updated this week
- A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!☆103Updated last week
- 🌐 | HTTP primitives for Lean 4☆39Updated 7 months ago
- A pure type system implemented in OCaml☆77Updated 4 years ago
- A compiler for functional programs on serialized data☆164Updated this week