Popular repositories Loading

1. coq-modeling coq-modeling Public

   Language models for Coq based on data collected from the coq lsp.

   Jupyter Notebook 10 1

2. CoqStoq CoqStoq Public

   Benchmark for evaluating Coq proof search tools.

   Python 8

3. weekly-lean weekly-lean Public

   The lean weekly challenge!

   Lean 7

4. MCTSSnake MCTSSnake Public

   Simultaneous and Adversarial Monte Carlo Tree Search for the CoG AI Snakes competition.

   Java 2 1

5. idsattack idsattack Public

   Packet modification to fool machine learning based network intrusion detection systems.

   Python 2 1

6. rkthomps.github.io rkthomps.github.io Public

   Public personal website.

   HTML 1