General purpose program synthetiser with existing Programming By Examples (PBE) pipeline
☆21Jan 3, 2026Updated last month
Alternatives and similar repositories for DeepSynth
Users that are interested in DeepSynth are comparing it to the libraries listed below
Sorting:
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Jan 11, 2025Updated last year
- ☆11Oct 16, 2025Updated 4 months ago
- Clustering notions for the knowledge LaTeX package☆20Jan 27, 2026Updated last month
- vscode-drawio增强版，提供代码跳转功能☆10Feb 20, 2025Updated last year
- siyuan-plugin-picture-library☆13Dec 2, 2025Updated 2 months ago
- ☆10Updated this week
- Deployed version of Tableaunoir. Do not modify this repository.☆11Feb 18, 2026Updated last week
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- Efficient joint input optimization and inference with DEQ☆10Nov 25, 2021Updated 4 years ago
- A greybox fuzzer for continuous integration☆10Dec 15, 2023Updated 2 years ago
- Gematria For Truth Base SDK for creating tools in the field of Gematria and Numerology. Includes over 200 predefined ciphers, supports 5…☆12Sep 2, 2021Updated 4 years ago
- a communal collection of obsidian snippets for theming, plugin development, and power usage.☆15Oct 27, 2022Updated 3 years ago
- RISC-V Formal in Chisel☆12Apr 9, 2024Updated last year
- Minimal RISC-V Chisel design strictly reflecting the ISA document for verification.☆18Feb 3, 2026Updated 3 weeks ago
- draw a beautiful christmas tree in ascii using Golang☆15Oct 19, 2018Updated 7 years ago
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆11Jul 4, 2025Updated 7 months ago
- Another attempt for visualizing proofs☆12Nov 19, 2024Updated last year
- ☆13Feb 14, 2026Updated 2 weeks ago
- Code repo for paper: ICML 2020 paper Natural lottery ticket winner: RL for ordinary neural circuits☆13Jun 1, 2020Updated 5 years ago
- NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle☆16Nov 20, 2022Updated 3 years ago
- A parser class for simple formulae.☆12Feb 21, 2017Updated 9 years ago
- ☆14Sep 3, 2024Updated last year
- SoC for CQU Dual Issue Machine☆12Sep 20, 2022Updated 3 years ago
- WebUI extension for ControlNet☆14Apr 15, 2023Updated 2 years ago
- This repository includes code to convert an image to a 3-color-image in order to display it on an E-ink display.☆13Aug 27, 2019Updated 6 years ago
- ☆10Oct 15, 2021Updated 4 years ago
- Handle Fast Signal Traces (fst) in Python☆14Jun 11, 2025Updated 8 months ago
- ☆14May 7, 2025Updated 9 months ago
- RISC-V instruction encoding/decoding☆13Mar 22, 2023Updated 2 years ago
- Apple Silicon TSO Enabler for Linux☆17Nov 11, 2025Updated 3 months ago
- Light musician is a tool to convert song to its light version. With Light Player, vocals in a song can be convert to other instruments us…☆11Aug 29, 2022Updated 3 years ago
- Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.☆12Oct 26, 2025Updated 4 months ago
- Library for Data Decision Diagrams and Set Decision Diagrams☆15Sep 10, 2025Updated 5 months ago
- 这是使用docusaurus搭建的主题，结合了docusaurus简单易用与其他开源页面设计方案☆12Oct 19, 2023Updated 2 years ago
- Formal verification tools for Chisel and RISC-V☆13Jul 2, 2024Updated last year
- Project Repo for the Simulator Independent Coverage Research☆21Feb 28, 2023Updated 3 years ago
- A tiny tikzzz editor in the browser☆10Mar 29, 2025Updated 11 months ago
- This is a plugin for obsidian. The Goal of this plugin is making Obsidian canvas easier to edit. (inspired by heptabase)☆14Sep 29, 2023Updated 2 years ago
- Langage et environnements dédiés à l’algorithmique.☆13Jan 2, 2020Updated 6 years ago