HigherOrderCO / kind2-archive
Temporary repository for Kind2's refactor based on HVM2
☆286Updated last month
Related projects ⓘ
Alternatives and complementary repositories for kind2-archive
- ☆495Updated 5 months ago
- Inpla: Interaction nets as a programming language (the current version)☆277Updated last week
- ☆109Updated 9 months ago
- A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.☆766Updated 3 months ago
- A modern supercompiler for call-by-value functional languages☆376Updated this week
- A minimal proof checker.☆64Updated 2 months ago
- Collection of Kind2 programs and proofs☆11Updated 5 months ago
- Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦☆418Updated this week
- Logic programming in Rust☆411Updated 3 weeks ago
- The MaPLe compiler for efficient and scalable parallel functional programming☆341Updated last week
- ☆31Updated this week
- ☆197Updated 4 months ago
- A fast functional language based on two level type theory☆388Updated last year
- Refinement Types for Rust☆652Updated this week
- The Simplest Parser Library (that works) in Rust☆41Updated 3 months ago
- A garden of small programming language implementations 🪴☆177Updated this week
- A language server for Standard ML.☆217Updated last month
- A proof assistant for higher-dimensional type theory☆146Updated this week
- Metamath Zero specification language☆315Updated 3 months ago
- A massively parallel, optimal functional runtime in Rust☆26Updated 3 months ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆171Updated this week
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆216Updated 9 months ago
- Algebraic effects for Rust☆591Updated 4 months ago
- Systems language with linear types and capability-based security.☆1,120Updated 4 months ago
- Functional language with a powerful type system.☆165Updated 9 months ago
- A language with lexical effect handlers and lightweight effect polymorphism☆328Updated this week
- ⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.☆276Updated this week
- Dependent type checker using normalisation by evaluation☆254Updated 2 months ago
- ☆196Updated 3 months ago