Logically Qualified Data Types - automatically infer refinement types
☆16Aug 24, 2021Updated 4 years ago
Alternatives and similar repositories for liquid-types
Users that are interested in liquid-types are comparing it to the libraries listed below
Sorting:
- the Dependent Unboxed higher-oRder Intermediate Notation☆14Feb 8, 2022Updated 4 years ago
- Rust-based Scheme Compiler, written in the Nanopass style☆12Jun 12, 2018Updated 7 years ago
- 🦅 VSCode extension for F* with IDE features☆16Mar 21, 2020Updated 5 years ago
- A parser for ANSI C, in Lean4.☆22Nov 16, 2023Updated 2 years ago
- An extended typed Lambda Calculus☆21Aug 5, 2024Updated last year
- The official Github Repo and Download for the FNAF Mod☆10Nov 10, 2015Updated 10 years ago
- The Vist programming language☆14Feb 21, 2017Updated 9 years ago
- An embedding of Alloy in Ruby☆19Apr 9, 2014Updated 11 years ago
- Java class file parser for Zig☆25Feb 2, 2023Updated 3 years ago
- A programming language.☆21Aug 28, 2017Updated 8 years ago
- Liquid Types implementation for Rust☆30Sep 30, 2022Updated 3 years ago
- JOPA: Java compiler in C++☆71Dec 6, 2025Updated 2 months ago
- A functional reactive programming (FRP) demo created with PureScript events and behaviors.☆34Oct 23, 2018Updated 7 years ago
- A tiny language for teaching and experimenting with Refinement Types☆49Jun 22, 2021Updated 4 years ago
- A Forge based Minecraft server-side plugin API☆13Nov 23, 2014Updated 11 years ago
- Web application to help tenants keep track of documentss related to their rental unit☆11Jan 7, 2023Updated 3 years ago
- Repository of the Mainframe SIG - Our aim is to enable OpenTelemetry for the Mainframe.☆13Jun 9, 2025Updated 8 months ago
- ☆10Jul 29, 2022Updated 3 years ago
- Evolutionary decision trees☆11Jun 16, 2025Updated 8 months ago
- An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…☆11Dec 3, 2025Updated 2 months ago
- Generate TypeScript typings from a Stack☆11Feb 16, 2026Updated last week
- A GHCJS binding to React based on the Flux design. The flux design pushes state and complicated logic out of the view, allowing the rende…☆32Sep 29, 2019Updated 6 years ago
- A type class which captures stack-safe monadic tail recursion☆38May 17, 2022Updated 3 years ago
- Easy, flexible C unit testing☆11Feb 13, 2016Updated 10 years ago
- Userland and toolchain for seakernel☆13Dec 11, 2015Updated 10 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Create string patterns and derive things from them, such as regexes☆10Sep 19, 2024Updated last year
- A Cydia Repo for iOS tweaks hosted on github.☆13Mar 5, 2018Updated 7 years ago
- Import entities from another Wikibase instance (e.g. Wikidata)☆13May 21, 2023Updated 2 years ago
- AllTheModium for Minecraft 1.16+☆17Jan 16, 2026Updated last month
- Library of common cryptographic algorithms and functions for Pony☆12Jul 16, 2025Updated 7 months ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- translation of pi3d from python to rust☆11Jun 28, 2025Updated 8 months ago
- A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…☆22Jul 28, 2025Updated 7 months ago
- Some papers on Knowledge Graph Embedding(KGE)☆13Aug 16, 2022Updated 3 years ago
- A GPU-friendly implementation of SpliceAI☆11Dec 8, 2022Updated 3 years ago
- A two-dimensional esoteric programming language, inspired by Hexagony and based on Surface☆11Nov 14, 2019Updated 6 years ago
- A way to track my readings☆12Feb 13, 2026Updated 2 weeks ago
- Simple, straightforward MSP430 disassembler and assembler in Python☆14Jul 5, 2023Updated 2 years ago