HigherOrderCO / hvm-64
☆496Updated 3 months ago
Related projects: ⓘ
- Temporary repository for Kind2's refactor based on HVM2☆276Updated 3 weeks ago
- A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.☆755Updated last month
- Inpla: Interaction nets as a programming language (the current version)☆273Updated last week
- A modern supercompiler for call-by-value functional languages☆366Updated this week
- Systems language with linear types and capability-based security.☆1,111Updated 2 months ago
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆811Updated 5 months ago
- An efficient, secure cryptocomputer☆604Updated 9 months ago
- ☆105Updated 7 months ago
- GPU-accelerated compiler☆306Updated 6 months ago
- The MaPLe compiler for efficient and scalable parallel functional programming☆320Updated this week
- Hazel, a live functional programming environment with typed holes☆744Updated this week
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆607Updated 5 months ago
- Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦☆398Updated this week
- egraphs + datalog!☆417Updated last week
- logic programming in Rust☆387Updated 2 months ago
- A Lisp interpreter written fully in rust macros.☆227Updated this week
- A functional, content-addressable programming language.☆348Updated this week
- x86 C compiler written in untyped lambda calculus☆617Updated last year
- ☆197Updated 2 months ago
- Collection of Kind2 programs and proofs☆11Updated 4 months ago
- Algebraic effects for Rust☆586Updated 2 months ago
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆784Updated this week
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,089Updated last year
- A fast functional language based on two level type theory☆388Updated last year
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆206Updated 7 months ago
- ☆175Updated last week
- Refinement Types for Rust☆639Updated this week
- A modern proof language☆3,539Updated 2 months ago
- Fine-grained parallelism with sub-nanosecond overhead in Zig☆631Updated last month
- Verified Rust for low-level systems code☆1,129Updated this week