mvcisback / dfa
A simple python implementation of a DFA.
☆20Updated 4 months ago
Related projects: ⓘ
- A Python package for automata theory.☆53Updated 8 months ago
- Jigsaw Dataset: Natural language to Python Pandas code☆53Updated last year
- program synthesis is possible☆39Updated 4 years ago
- Two Automatic code completion IDE extensions for @JetBrains and @microsoft/vscode based on Transformer-based large language models for so…☆54Updated 5 months ago
- Flow graphs for Python☆25Updated 2 years ago
- LLM Optimize is a proof-of-concept library for doing LLM (large language model) guided blackbox optimization.☆48Updated last year
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 2 months ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆31Updated 3 years ago
- Tarski - An AI Planning Modeling Framework☆59Updated 6 months ago
- An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting☆22Updated 8 months ago
- How to build an LLVM backend, published by Packt☆14Updated last week
- A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.☆17Updated last month
- General-purpose program synthesiser☆31Updated last year
- setup the env for vllm users☆16Updated 10 months ago
- Soar Agent (and SML code) that learns through situated interactive instruction in a robotic environment☆31Updated last year
- Solve Geometric & Graph Problems with Large Language Models☆27Updated last year
- A library for simplifying fine tuning with multi gpu setups in the Huggingface ecosystem.☆15Updated 3 months ago
- UnitEval is a benchmarking and evaluation tools for AutoDev Coder.☆10Updated 8 months ago
- A Modern Probabilistic Model Checker☆133Updated last week
- An open-source NLP library: fast text cleaning and preprocessing☆23Updated 2 years ago
- Sentence Embedding as a Service☆14Updated 10 months ago
- ☆18Updated 2 years ago
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆39Updated 4 years ago
- A high-throughput, structured streaming framework built atop Redis Streams. C++, Python, and MATLAB support.☆16Updated 9 months ago
- Make triton easier☆39Updated 3 months ago
- Specify and synthesize systems using symbolic algorithms☆45Updated 7 months ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆41Updated 10 months ago
- ☆12Updated last year
- ☆21Updated 9 months ago
- An curated list of papers on program synthesis.☆67Updated 5 years ago