Popular repositories Loading

1. ML_ethics ML_ethicsPublic

   Ren'Py 1

2. scallion scallionPublic

   Forked from epfl-lara/scallion

   LL(1) parser combinators in Scala

   Scala

3. ML_course ML_coursePublic

   Forked from epfml/ML_course

   EPFL Machine Learning Course, Fall 2019

   Jupyter Notebook

4. chisel3 chisel3Public

   Forked from chipsalliance/chisel

   Chisel 3: A Modern Hardware Design Language

   Scala

5. BDD BDDPublic

   Stand-alone BDD package

   C++ 30

6. frap frapPublic

   Forked from achlipala/frap

   Formal Reasoning About Programs

   Coq