aspiwack/randomizer-engine

Stars
6
Rank 2,539,965 (Top 51 %)
Language
OCaml
Created almost 6 years ago
Updated over 1 year ago

aspiwack/randomizer-engine

aspiwack

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

generic, declarative randomizer engine which draws shuffles uniformely

peppermint-prover

Experimental proof assistant (and architecture) for dependent linear logic

haskell-benign

A library for benign effects in Haskell

finset

A Coq library for extensional finite sets and comprehension

assert-plugin

A GHC plugin for rich, switchable assertions

fulltrees

Balancing lists: a proof pearl

ocaml-hollow-heap

An implementation of hollow heaps in Ocaml

cosa

A thing about Coq-verified Shape Analysis

haskell-ann

Haskell library for nformative annotations which don't change equality

dissection-of-l

A dissection of L: article about focalised sequent calculus and dependent types

milner

Small implementation of Milner tactics for minimal logic

ocaml-heavn

An edn parser and data model in Ocaml

tacengine

My unfinished and unpolished reflection on designing and implementing a tactic engine

topocircuit

notebooks

A bunch of notebooks on stuff

Jupyter Notebook

information-stream

num-from

A game of finding numbers with arithmetic expressions? Let me ruin it for you.

axhurkens

realisability

Krivine realisability, explained

cadence-of-hyrule

Cadence of Hyrule technical sheets

treemachine

minipi

Experiment on depent type-checking.

combining-logics