HigherOrderCO / HVM3
HVM3
☆55Updated this week
Related projects ⓘ
Alternatives and complementary repositories for HVM3
- ☆33Updated this week
- A minimal proof checker.☆65Updated 2 months ago
- ☆110Updated 9 months ago
- Temporary repository for Kind2's refactor based on HVM2☆286Updated last month
- Collection of Kind2 programs and proofs☆11Updated 6 months ago
- An interaction combinator runtime☆15Updated last month
- 🌐 | HTTP primitives for Lean 4☆27Updated last month
- my personal lang☆15Updated 10 months ago
- Neural networks using parametric prelenses and Trimbara modules☆31Updated 8 months ago
- Inpla: Interaction nets as a programming language (the current version)☆279Updated 3 weeks ago
- A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!☆98Updated this week
- Linear lens☆20Updated 9 months ago
- Demo for dependent types + runtime code generation☆48Updated this week
- Reference counting with linear types☆30Updated 4 months ago
- A massively parallel, optimal functional runtime in Rust☆27Updated 3 months ago
- Lean documentation authoring tool☆122Updated this week
- A proof assistant for higher-dimensional type theory☆147Updated this week
- 🌒 A TUI for GitHub☆71Updated 4 months ago
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆35Updated 5 months ago
- a categorical deep learning compiler☆108Updated 6 months ago
- An event sourced, purely functional application platform.☆43Updated this week
- A Language with Dependent Data and Codata Types☆58Updated this week
- A modern supercompiler for call-by-value functional languages☆393Updated last week
- Accelerated machine learning with dependent types☆79Updated this week