Pinned Repositories
adaptive-plot
A library for intelligently plotting functions from the MIT Scheme REPL.
dlambda
A differentiable GADT-based interpreter
dysvunctional-language
Running the code you want to write as fast as the code you have to write
game-search
Playing around with game-playing programs in various styles
integer-sequences
A library for recreational number theory in MIT Scheme.
kotlin-gmm
A Gaussian mixture model, as an exercise for learning Kotlin
pattern-case
A Schemely pattern matching case facility in MIT Scheme.
probscheme
A probabilistic programming language embedded in MIT Scheme.
rules
An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
test-manager
A unit test framework for MIT Scheme in the jUnit style.
axch's Repositories
axch/dysvunctional-language
Running the code you want to write as fast as the code you have to write
axch/adaptive-plot
A library for intelligently plotting functions from the MIT Scheme REPL.
axch/rules
An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
axch/test-manager
A unit test framework for MIT Scheme in the jUnit style.
axch/integer-sequences
A library for recreational number theory in MIT Scheme.
axch/pattern-case
A Schemely pattern matching case facility in MIT Scheme.
axch/probscheme
A probabilistic programming language embedded in MIT Scheme.
axch/dlambda
A differentiable GADT-based interpreter
axch/game-search
Playing around with game-playing programs in various styles
axch/kotlin-gmm
A Gaussian mixture model, as an exercise for learning Kotlin
axch/z3-hacks
Using Z3 to solve logic puzzles I might otherwise be tempted to solve myself.
axch/hs-integer-sequences
Incomplete playing around with integer sequences in Haskell.
axch/hs-venture
Experimental rewrite of Venture in Haskell, for me to better understand it
axch/numbergossip
Numbergossip.com: input an integer and learn its interesting properties
axch/dex-lang
Research language for array processing in the Haskell/ML family
axch/haxcat
Experimental educational implementation of CrossCat in Haskell
axch/jax
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
axch/llvm-hs
Haskell bindings for LLVM
axch/MIM
Minimalist Isopycnal Model: a simplistic isopycnal model with n layers and variable bathymetry.
axch/probability
Probabilistic reasoning and statistical analysis in TensorFlow
axch/statistics
A fast, high quality library for computing with statistics in Haskell.
axch/symmetriad
MIT Scheme code for rendering and visualizing 3- and 4-D polytopes through their symmetry groups
axch/venture-pre-v1
Experimental Venture-like language with pluggable traces