Popular repositories Loading

1. gpt-3-code-gen gpt-3-code-gen Public

   Code Generation with GPT-3

   Jupyter Notebook 2

2. bosy bosy Public

   Forked from reactive-systems/bosy

   BoSy is a reactive synthesis tool based on constraint-solving

   Swift

3. libsolve libsolve Public

   Forked from ltentrup/libsolve

   A collection of data structures and SAT solver interfaces for writing solvers

   C

4. quabs quabs Public

   Forked from ltentrup/quabs

   QuAbS is a circuit-based QBF solver

   C

5. deep-synthesis deep-synthesis Public

   Implementation and datasets of my master thesis "LTL Synthesis from Specification Patterns with Neural Networks"

   Python

6. transformers transformers Public

   Forked from huggingface/transformers

   🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.

   Python