Beast code in Giters

Alexey Radul's repositories

dysvunctional-language

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

Language:SchemeAGPL-3.0139 140

adaptive-plot

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

Language:SchemeAGPL-3.021 40

rules

An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.

Language:SchemeAGPL-3.019 10

test-manager

A unit test framework for MIT Scheme in the jUnit style.

Language:SchemeGPL-3.014 3 1

integer-sequences

A library for recreational number theory in MIT Scheme.

Language:SchemeAGPL-3.010 20

pattern-case

A Schemely pattern matching case facility in MIT Scheme.

Language:SchemeAGPL-3.06 30

probscheme

A probabilistic programming language embedded in MIT Scheme.

Language:TeXGPL-3.05 20

dlambda

A differentiable GADT-based interpreter

Language:HaskellBSD-3-Clause4 20

game-search

Playing around with game-playing programs in various styles

Language:HaskellApache-2.02 20

kotlin-gmm

A Gaussian mixture model, as an exercise for learning Kotlin

Language:Kotlin200

z3-hacks

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

Language:Python2 20

hs-integer-sequences

Incomplete playing around with integer sequences in Haskell.

Language:Haskell1 20

hs-venture

Experimental rewrite of Venture in Haskell, for me to better understand it

Language:HaskellGPL-3.01 20

numbergossip

Numbergossip.com: input an integer and learn its interesting properties

Language:Ruby1 10

dex-lang

Research language for array processing in the Haskell/ML family

Language:HaskellBSD-3-Clause010

haxcat

Experimental educational implementation of CrossCat in Haskell

Language:HaskellApache-2.0020

jax

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

Apache-2.0000

llvm-hs

Haskell bindings for LLVM

Language:LLVM010

MIM

Minimalist Isopycnal Model: a simplistic isopycnal model with n layers and variable bathymetry.

Language:FortranMIT020

probability

Probabilistic reasoning and statistical analysis in TensorFlow

Language:Jupyter NotebookApache-2.0020

statistics

A fast, high quality library for computing with statistics in Haskell.

Language:HaskellBSD-2-Clause000

symmetriad

MIT Scheme code for rendering and visualizing 3- and 4-D polytopes through their symmetry groups

Language:SchemeGPL-2.0020

venture-pre-v1

Experimental Venture-like language with pluggable traces

Language:Scheme020