Popular repositories Loading

1. type-cert type-cert Public

   Certifying Type Checker (for Doru) and Type Inferencer (for ITMUWU)

   Racket 2

2. rethinking rethinking Public

   Forked from rmcelreath/rethinking

   Statistical Rethinking course and book package

   R

3. biers biers Public

   Bayesian Inference Engines for Rethinking Statistics

   Racket

4. racket-ml racket-ml Public

   Forked from danking/racket-ml

   A collection of things I found useful for doing Machine Learning problem sets.

   Racket

5. nlopt nlopt Public

   Forked from jkominek/nlopt

   Racket wrapper for NLopt

   Racket

6. racket racket Public

   Forked from racket/racket

   The Racket repository

   Racket