Discover @axch Open Source projects

Alexey Radul (@axch)

axch

Stars
228
Global Rank 111,165 (Top 4 %)
Followers 147
Registered over 14 years ago
Most used languages

Scheme
50.0 %

Haskell
25.0 %

TeX
8.3 %

Python
8.3 %

Kotlin
8.3 %

dysvunctional-language

Running the code you want to write as fast as the code you have to write

adaptive-plot

A library for intelligently plotting functions from the MIT Scheme REPL.

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.

integer-sequences

A library for recreational number theory in MIT Scheme.

pattern-case

A Schemely pattern matching case facility in MIT Scheme.

probscheme

A probabilistic programming language embedded in MIT Scheme.

dlambda

A differentiable GADT-based interpreter

kotlin-gmm

A Gaussian mixture model, as an exercise for learning Kotlin

game-search

Playing around with game-playing programs in various styles

z3-hacks

Using Z3 to solve logic puzzles I might otherwise be tempted to solve myself.

hs-integer-sequences

Incomplete playing around with integer sequences in Haskell.