PaulGustafson

dcc

Maximally decentralized cryptocurrency

stringnet

A Haskell library for calculating with quantum mapping class group representations

HybSys

Formal composition of hybrid systems

pyqstrat

A fast, extensible, transparent python library for backtesting quantitative strategies.

conley-morse-database

Conley-Morse-Database project for the global dynamics of multi-parameter systems

cubical-demo

cubicaltt

Experimental implementation of Cubical Type Theory

cubicaltt-layer

Spacemacs layer for cubicaltt

dpq

essential-cardano

Repository for the Essential Cardano list

haskell-nix

Nix and Haskell in production

figgie-auto

An algorithmic sandbox for Jane Street's game, "Figgie"

GlimpseOfLean

An introduction to theorem proving in Lean for the impatient.

kodlab_gazebo

ROS package for the simulation of legged platforms using Gazebo

Lambda-Challenge

lambdabot

A friendly IRC bot and apprentice coder, written in Haskell.

latex

Various latex files

lembrary-backend

IRC bot for incremental haskell development

lembrary.github.io

LNLHaskell

Adding linear types to Haskell in the style of Linear/Non-Linear (LNL) logic

mathlib

Lean mathematical components library

mattermost-plugin-memes

Add culture to your Mattermost with memes 🔌

mueval

A secure sandboxed Haskell interpreter for pure function evaluation

partial

Partial map typeclass

paulgustafson.github.io

Pluto.jl

🎈 Simple reactive notebooks for Julia

plutus

The Plutus language implementation and tools

stlc

teenygrad

If tinygrad wasn't small enough for you...

tinygrad

You like pytorch? You like micrograd? You love tinygrad! ❤️