Popular repositories Loading

1. OpenHands OpenHands Public

   Forked from OpenHands/OpenHands

   🙌 OpenHands: Code Less, Make More

   Python 1

2. Rasware Rasware Public

   Forked from theotherjimmy/Rasware2013

   A generic robotics controller for the EK-LM4F120XL Stellaris Launchpad.

   C

3. cs378nlp-sp20-fp cs378nlp-sp20-fp Public

   Forked from gregdurrett/nlp-qa-finalproj

   Final project starter code for CS378 NLP, Spring 2020

   Python

4. chapar chapar Public

   Forked from rocq-community/chapar

   A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]

   Coq

5. z3-playground z3-playground Public

   Forked from 0vercl0k/z3-playground

   A repository to store Z3-python scripts you can use as examples, reminders, whatever.

   Python

6. universalmutator universalmutator Public

   Forked from agroce/universalmutator

   Regexp based tool for mutating generic source code across numerous languages

   Python