samuelschlesinger Goto Github PK

abstractsyntax

Parses prefix expressions into abstract syntax trees and evaluates them and solves for simple algebra

academic

A whole bunch of my more academic work

accelerate-cuda

Accelerate backend for NVIDIA GPUs

actions-gh-pages

GitHub Actions for GitHub Pages 🚀 Deploy static files and publish your site easily. Static-Site-Generators-friendly.

aeson-typescript

Generate TypeScript definition files from your ADTs

agda-math

Deprecated

agda-stdlib

The Agda standard library

algebraichierarchy

An algebraic hierarchy of classes in Haskell

alphabetworkersunion.org

alt-prelude

Alternate Prelude for the Haskell programming language

ataca

A TACtic library for Agda

atomic-linked-list

Atomic linked lists

automatatheory

awesome-list-of-haskell-mentors

An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.

backprop

Heterogeneous automatic differentiation ("backpropagation") in Haskell

bevy

A refreshingly simple data-driven game engine built in Rust

biomass-breakout

A game about evolution, cooperation, and predation

bitcoin

Bitcoin Core integration/staging tree

blake3-lamport-signatures

An implementation of Lamport/Merkle signatures in Rust using the BLAKE3 hash function.

boids-evolution

Made a boids like thing in Haskell, gonna improve on it and add a genetic algorithm and some other behaviors. Right now its pretty broken but it sure does something kinda boidy.

br

bulletproofs

A pure-Rust implementation of Bulletproofs using Ristretto.

c-arc

Cloned Rust's Arc type into C

c-newtype

Newtype utility macro in C

c-server

Playing with webservers in C

cabal

Official upstream development repository for Cabal and cabal-install

cabalinit

my preferred cabal init variant

capnproto-rust

Cap'n Proto for Rust

cargo-casper

casper-client-rs