CozySynthesizer / cozyView external linksLinks
The collection synthesizer
☆209Oct 30, 2020Updated 5 years ago
Alternatives and similar repositories for cozy
Users that are interested in cozy are comparing it to the libraries listed below
Sorting:
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 2 years ago
- Integrating the CAP theorem into distributed language design.☆13Nov 21, 2018Updated 7 years ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆35Nov 13, 2017Updated 8 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 8 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15May 22, 2024Updated last year
- Label dependent dependent session types☆16May 2, 2024Updated last year
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 7 years ago
- ☆30Oct 16, 2022Updated 3 years ago
- STOKE: A stochastic superoptimizer and program synthesizer☆846Aug 14, 2023Updated 2 years ago
- Optimizing Synthesis with Metasketches, POPL 2016☆24Jan 11, 2017Updated 9 years ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆67Oct 2, 2022Updated 3 years ago
- Rewrite Rule Inference Using Equality Saturation☆151Jun 6, 2025Updated 8 months ago
- Protect against backwards-incompatible serializations☆23May 21, 2021Updated 4 years ago
- convert simple cryptol expressions into finite-state machines☆22Sep 15, 2017Updated 8 years ago
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 6 years ago
- Send textual messages to a Handle in a thread-friendly way☆29Aug 15, 2018Updated 7 years ago
- A monadic DSL for simple configuration parsing☆27Jun 4, 2025Updated 8 months ago
- Exact Inference Engine for Probabilistic Programs☆135Mar 13, 2025Updated 11 months ago
- A set of tools for building graph rewriting systems and more specifically, working with the chemlambda rewrite model of computation.☆12Dec 27, 2016Updated 9 years ago
- A META parser generator using LL(1) grammars with s-expressions.☆16Oct 30, 2017Updated 8 years ago
- Iodine: Verifying Constant-Time Execution of Hardware☆15Mar 29, 2021Updated 4 years ago
- John Shutt's "Kernel" language implemented on ABE (C) runtime.☆13Sep 3, 2018Updated 7 years ago
- Vello Sparse Strips .NET Bindings☆20Nov 16, 2025Updated 2 months ago
- A tool that generates a data structure from a schema and some relational queries, using modern database techniques to make queries highly…☆10Jul 25, 2021Updated 4 years ago
- Neural-Network Guided Expression Transformation☆13Apr 15, 2018Updated 7 years ago
- A Forth interpreter in ARM assembly☆16May 11, 2009Updated 16 years ago
- A collection of old versions of the Haskell Report☆13Aug 17, 2017Updated 8 years ago
- Cut-pursuit algorithms, parallelized along components☆10Aug 5, 2020Updated 5 years ago
- Steklov Spectral Geometry for Extrinsic Shape Analysis☆12Aug 9, 2024Updated last year
- Minecraft-like voxel engine developed for browser in JavaScript with Three.js☆10Sep 24, 2022Updated 3 years ago
- Haskell numerical ODE solvers☆14Aug 21, 2017Updated 8 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 3 years ago
- Closure calculus implementation☆12Jun 25, 2019Updated 6 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆87Feb 3, 2023Updated 3 years ago
- ☆28Jul 9, 2018Updated 7 years ago
- Code which loads custom ISA on Intel Haswell GPUs☆47Sep 12, 2016Updated 9 years ago
- A language for symbolic transitions system, inspired by Ivy.☆71Sep 5, 2025Updated 5 months ago
- Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations☆54Sep 1, 2025Updated 5 months ago
- bil verification tool☆12Jun 30, 2022Updated 3 years ago