Interpreter for inference rules
☆13May 5, 2018Updated 7 years ago
Alternatives and similar repositories for infer
Users that are interested in infer are comparing it to the libraries listed below
Sorting:
- Proof assistant for Typographical Number Theory☆16Dec 15, 2015Updated 10 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- Cur dependently-typed language in miniKanren.☆17Jan 26, 2018Updated 8 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Jan 14, 2019Updated 7 years ago
- Towards Optic-Based Algebraic Theories: the Case of Lenses☆17Nov 26, 2018Updated 7 years ago
- ☆20Sep 1, 2018Updated 7 years ago
- Program synthesis is possible in Rust☆24Nov 15, 2018Updated 7 years ago
- A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety☆41Jun 10, 2014Updated 11 years ago
- Generation of abstract binding trees☆27Sep 26, 2025Updated 5 months ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Sep 27, 2015Updated 10 years ago
- Macro-rules-style syntax matching for procedural macros☆53Nov 7, 2023Updated 2 years ago
- Inter-process locking library using Redis.☆35Jul 24, 2021Updated 4 years ago
- My RubyConf 2021 Workshop Materials☆10Nov 5, 2021Updated 4 years ago
- Using index.ts file to organize import statements.☆11Mar 15, 2018Updated 7 years ago
- A transactional programming language.☆34Jan 31, 2019Updated 7 years ago
- run commands in a container environment without root☆11Nov 1, 2016Updated 9 years ago
- Simple quiz component for solidjs and solid-start.☆11Sep 8, 2023Updated 2 years ago
- Temporal starter allows to start any activity or workflow by HTTP in a universal way.☆12Feb 18, 2021Updated 5 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- DIY LED Juggling Balls☆11Sep 19, 2021Updated 4 years ago
- ☆12Jan 29, 2023Updated 3 years ago
- Signalhub implementation with websockets☆41Jul 7, 2022Updated 3 years ago
- Various mechanized proof files for fun.☆13Aug 11, 2025Updated 6 months ago
- Codes generating animation using Manim (3B1B)☆12Aug 8, 2021Updated 4 years ago
- Rust-based Scheme Compiler, written in the Nanopass style☆12Jun 12, 2018Updated 7 years ago
- A simple access rights gem with users, roles and capabilities☆22Jun 9, 2023Updated 2 years ago
- This demo code demonstrates how to enable .NET Core to play audio with the help of NodeServices and Node.js. Due to its platform-indepen…☆10Jun 12, 2020Updated 5 years ago
- NetBricks: A new network function framework based on Rust.☆12Jan 2, 2026Updated 2 months ago
- Functional Linear Algebra with Block Matrices☆11Feb 17, 2022Updated 4 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 8 years ago
- Javascript implementation of Fractran☆15Sep 14, 2017Updated 8 years ago
- Experiments with META II☆12Jan 9, 2018Updated 8 years ago
- I'm learning Rust!☆13Nov 24, 2018Updated 7 years ago
- An example Ruby program to demonstrate the "pure function as an object" pattern.☆10Dec 11, 2017Updated 8 years ago
- Adds a guard to disable ObjectInputStream.readObject☆11Dec 6, 2015Updated 10 years ago
- A dependently typed programming language, a successor to Idris☆12Jul 18, 2021Updated 4 years ago