Pinned Loading

1. GeneticEngine GeneticEngine Public

   Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses

   Python 48 12

2. aeon aeon Public

   Aeon programming language

   Python 23 5

3. RefinementTypesTutorial RefinementTypesTutorial Public

   A Python implementation of the Refinement Types Tutorial.

   Python 9

4. bigdatagpunn bigdatagpunn Public

   Big Data Tuturial to train a Neural Network on distributed GPU-backed machines.

   Python 6 1

5. jRAPL jRAPL Public

   Forked from kliu20/jRAPL

   Java Bindings for the RAPL power API from Intel

   C 1

6. haskell_tutorial haskell_tutorial Public

   Codebits 2012 Talk: What's the fuss about Functional Programming — Haskell mini Tutorial

   Haskell 7 1