Sophia-Gold

madhava

automatic differentiation/integration of PDEs

symbolic-algebra

a numerical computing library for Clojure

bitwise

bit twiddling functions for Clojure

power-series

stream processing library for formal power series and generating functions

ocaml-libfixmath

OCaml bindings for libfixmath

concurrent-fizzbuzz

yup... fizz buzz using CSP-style concurrency

configuration.nix

my NixOS configuration file

dmz

memory safe Rust/OCaml FFI

ocaml-bn

OCaml bindings to alt_bn_128

.emacs

my emacs init file

anaphora

bound-mode

Emacs mode adding syntax highlighting to bound variables in Clojure

clojure

Fork of Clojure that allows nested functions literals

delimc

Delimited continuations for Clojure

learn-ocaml-workshop

Exercises and projects for Jane Street's OCaml Workshop

librustzcash

Rust-language assets for Zcash

lorentz-contract

barebones lorentz example

map-closure

Implementation of map-closure construct from "First-Class Nonstandard Interpretations by Opening Closures"

michelson

tezos smart contracts

mlton

The MLton repository

nixpkgs

Nix Packages collection

ocaml-vec

Example OCaml library written using Rust and ocaml-rs

parse-quote

pcap/bytestring parser for streaming market data

polkadot-runtimes

The various runtimes which make up the core subsystems of networks for which the Fellowship is represented.

PowerSerious

Basic operations on power series and polynomials represented by lists

smart-contracts

A few smart contracts

STALINGRAD

Stalin∇, a brutally optimizing compiler for the VLAD language

tezos-amm

Zarith

The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.

zip32