paulgustafson Goto Github PK

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

dcc

Maximally decentralized cryptocurrency

dpq

essential-cardano

Repository for the Essential Cardano list

figgie-auto

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

glimpseoflean

An introduction to theorem proving in Lean for the impatient.

haskell-nix

Nix and Haskell in production

hftbacktest

A high-frequency trading and market-making backtesting tool in Python and Rust, which accounts for limit orders, queue positions, and latencies, utilizing full tick data for trades and order books, with real-world crypto market-making examples for Binance Futures

hybsys

Formal composition of hybrid systems

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

pyqstrat

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

shapetracker

stlc

stringnet

A Haskell library for calculating with quantum mapping class group representations