bmsherman Goto Github PK

100game

Analysis of the 100 game

autotabber

AutoTabber generates optimal guitar tablature from MIDI files describing guitar pieces.

blog

cardinality

Reasoning about finite type cardinality in Coq

coq-ext-lib

A library of Coq definitions, theorems, and tactics.

coq-lean-cheatsheet

A quick reference for mapping Coq tactics to Lean tactics

corn

Coq Repository at Nijmegen

crypto-project

Formal proof about pseudorandom generators with FCF

crypto-scribe

cryptopals

Solutions to the Matasano Crypto Challenges in Haskell

cublas

Haskell FFI bindings for CUBLAS, CUSPARSE, and CuFFT

dccp

A CVXPY extension for convex-concave programming

eecs-ims

EECS intramural signups

finite

Facts about isomorphisms and finite types in Coq

frap

Formal Reasoning About Programs

gadts-talk

Materials for HaskellDC talk on GADTs

haskell-matlab

Matlab bindings and interface for Haskell

haskell-vect

Length-indexed lists for Haskell

hml

Toy functional programming language compiling to x64 asm

idris-dev

A Dependently Typed Functional Programming Language

league-scheduler

Create schedules for head-to-head leagues

lean-tutorial

linalg

A Haskell interface for specifying linear algebra computations

linalg-magma

GPU backend (using CUBLAS and MAGMA) for LinAlg

livehistogram

Display live histograms for data streams in the console

magma-gpu

Haskell FFI bindings to the MAGMA GPU library

marshall

Real number computation software

mirror-core

A framework for extensible, reflective decision procedures.

neo4j-haskell-http-client

Haskell bindings to Neo4j via its REST interface

numbers

Rational and real numbers