Alcides Fonseca alcides

Organizations

Pinned Loading

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

   Python 52 11

2. Aeon programming language

   Python 29 5

3. A Python implementation of the Refinement Types Tutorial.

   Python 10

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

   Python 6 1

5. Forked from kliu20/jRAPL

   Java Bindings for the RAPL power API from Intel

   C 1

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

   Haskell 7 1