Pinned Repositories
polkadot-sdk
The Parity Polkadot Blockchain SDK
runtimes
The various runtimes which make up the core subsystems of networks for which the Fellowship is represented.
AD-Talk
An Intellectual History of Automatic Differentiation
bitwise
bit twiddling functions for Clojure
dmz
memory safe Rust/OCaml FFI
Lazy-Henderson
functional geometry library for ClojureScript
madhava
automatic differentiation/integration of PDEs
power-series
stream processing library for formal power series and generating functions
symbolic-algebra
a numerical computing library for Clojure
WebGL-Convolution-Shaders
simple demo of eight convolution shaders
Sophia-Gold's Repositories
Sophia-Gold/madhava
automatic differentiation/integration of PDEs
Sophia-Gold/symbolic-algebra
a numerical computing library for Clojure
Sophia-Gold/bitwise
bit twiddling functions for Clojure
Sophia-Gold/power-series
stream processing library for formal power series and generating functions
Sophia-Gold/ocaml-libfixmath
OCaml bindings for libfixmath
Sophia-Gold/configuration.nix
my NixOS configuration file
Sophia-Gold/dmz
memory safe Rust/OCaml FFI
Sophia-Gold/ocaml-bn
OCaml bindings to alt_bn_128
Sophia-Gold/requests-for-proposals
Sophia-Gold/.emacs
my emacs init file
Sophia-Gold/anaphora
Sophia-Gold/bound-mode
Emacs mode adding syntax highlighting to bound variables in Clojure
Sophia-Gold/clojure
Fork of Clojure that allows nested functions literals
Sophia-Gold/delimc
Delimited continuations for Clojure
Sophia-Gold/learn-ocaml-workshop
Exercises and projects for Jane Street's OCaml Workshop
Sophia-Gold/librustzcash
Rust-language assets for Zcash
Sophia-Gold/lorentz-contract
barebones lorentz example
Sophia-Gold/map-closure
Implementation of map-closure construct from "First-Class Nonstandard Interpretations by Opening Closures"
Sophia-Gold/michelson
tezos smart contracts
Sophia-Gold/mlton
The MLton repository
Sophia-Gold/nixpkgs
Nix Packages collection
Sophia-Gold/ocaml-vec
Example OCaml library written using Rust and ocaml-rs
Sophia-Gold/parse-quote
pcap/bytestring parser for streaming market data
Sophia-Gold/polkadot-runtimes
The various runtimes which make up the core subsystems of networks for which the Fellowship is represented.
Sophia-Gold/PowerSerious
Basic operations on power series and polynomials represented by lists
Sophia-Gold/smart-contracts
A few smart contracts
Sophia-Gold/STALINGRAD
Stalin∇, a brutally optimizing compiler for the VLAD language
Sophia-Gold/tezos-amm
Sophia-Gold/Zarith
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.
Sophia-Gold/zip32