VictorTaelin / bend_program_search_example
A simple example on how Bend could be used to accelerate program search in a near future
☆16Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for bend_program_search_example
- A minimal proof checker.☆65Updated 2 months ago
- Collection of Kind2 programs and proofs☆11Updated 6 months ago
- ☆33Updated this week
- ☆110Updated 9 months ago
- A WebAssembly implementation in Lean4☆32Updated 11 months ago
- my personal lang☆15Updated 10 months ago
- Fωμ type checker and compiler☆51Updated last year
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated last year
- ☆18Updated 11 months ago
- Demo for dependent types + runtime code generation☆52Updated this week
- Agda category theory library for denotational design☆48Updated 5 months ago
- Parser Combinator Library for Lean 4☆34Updated last week
- Specification of the Formality proof and programming language☆40Updated last year
- A formalization of continuation-passing style calculi in Coq [WIP]☆36Updated this week
- Slides and handwritten notes on the course on models of programming languages☆50Updated 4 years ago
- Extism Lean 4 Host SDK☆15Updated 3 weeks ago
- 🦠 Reusable components based on algebraic effects☆47Updated last month
- Implementing a small functional language with a combinator based graph-reduction machine☆28Updated 11 months ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆67Updated 7 years ago
- ☆12Updated 2 years ago
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Updated 5 years ago
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆45Updated last month
- A Lean 4 library for iterators.☆11Updated 11 months ago
- Reference counting with linear types☆30Updated 4 months ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 2 years ago