-
-
probscheme Public
A probabilistic programming language embedded in MIT Scheme.
-
numbergossip Public
Forked from tanyakho/numbergossipNumbergossip.com: input an integer and learn its interesting properties
-
pattern-case Public
A Schemely pattern matching case facility in MIT Scheme.
-
rules Public
An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
-
kotlin-gmm Public
A Gaussian mixture model, as an exercise for learning Kotlin
-
game-search Public
Playing around with game-playing programs in various styles
-
dex-lang Public
Forked from google-research/dex-langResearch language for array processing in the Haskell/ML family
Haskell BSD 3-Clause "New" or "Revised" License UpdatedNov 20, 2023 -
jax Public
Forked from jax-ml/jaxComposable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
Python Apache License 2.0 UpdatedNov 9, 2023 -
-
probability Public
Forked from tensorflow/probabilityProbabilistic reasoning and statistical analysis in TensorFlow
Jupyter Notebook Apache License 2.0 UpdatedOct 20, 2021 -
MIM Public
Forked from edoddridge/aronnaxMinimalist Isopycnal Model: a simplistic isopycnal model with n layers and variable bathymetry.
Fortran MIT License UpdatedJan 4, 2018 -
z3-hacks Public
Using Z3 to solve logic puzzles I might otherwise be tempted to solve myself.
-
dlambda Public
A differentiable GADT-based interpreter
-
venture-pre-v1 Public
Forked from probcomp/venture-pre-v1Experimental Venture-like language with pluggable traces
Scheme UpdatedNov 11, 2017 -
hs-venture Public
Forked from probcomp/hs-ventureExperimental rewrite of Venture in Haskell, for me to better understand it
-
dysvunctional-language Public
Running the code you want to write as fast as the code you have to write
-
hs-integer-sequences Public
Incomplete playing around with integer sequences in Haskell.
-
symmetriad Public
Forked from rfrankel/symmetriadMIT Scheme code for rendering and visualizing 3- and 4-D polytopes through their symmetry groups
Scheme GNU General Public License v2.0 UpdatedMay 15, 2016 -
haxcat Public
Forked from probcomp/haxcatExperimental educational implementation of CrossCat in Haskell
Haskell Apache License 2.0 UpdatedJan 27, 2016 -
test-manager Public
A unit test framework for MIT Scheme in the jUnit style.
-
statistics Public
Forked from haskell/statisticsA fast, high quality library for computing with statistics in Haskell.
Haskell BSD 2-Clause "Simplified" License UpdatedMay 3, 2015 -
adaptive-plot Public
A library for intelligently plotting functions from the MIT Scheme REPL.
-
integer-sequences Public
A library for recreational number theory in MIT Scheme.
{{ message }}