Skip to content
View bmsherman's full-sized avatar
52 followers · 0 following

Organizations

@idris-lang @HaskellDC @psg-mit

Block or report bmsherman

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • haskell-matlab Public

    Matlab bindings and interface for Haskell

    Haskell 13 4 Other Updated Aug 24, 2020

  • marshall Public

    Forked from andrejbauer/marshall

    Real number computation software

    OCaml 1 BSD 2-Clause "Simplified" License Updated Jan 23, 2019

  • cardinality Public

    Forked from tchajed/cardinality

    Reasoning about finite type cardinality in Coq

    Coq Updated Jan 20, 2019

  • topology Public

    Formal topology (and some probability) in Coq

    Coq 32 8 MIT License Updated Nov 30, 2018

  • frap Public

    Forked from achlipala/frap

    Formal Reasoning About Programs

    Coq Updated May 25, 2018

  • rosa Public

    Forked from malyzajko/rosa

    Rosa, the real compiler

    Scala Other Updated Feb 3, 2018

  • mirror-core Public

    Forked from gmalecha/mirror-core

    A framework for extensible, reflective decision procedures.

    Coq Other Updated Oct 30, 2017

  • lean-tutorial Public

    Lean Updated Oct 20, 2017

  • dccp Public

    Forked from cvxgrp/dccp

    A CVXPY extension for convex-concave programming

    Python Updated Sep 22, 2017

  • crypto-project Public

    Formal proof about pseudorandom generators with FCF

    Coq Updated Jul 20, 2017

  • coq-lean-cheatsheet Public

    Forked from jldodds/coq-lean-cheatsheet

    A quick reference for mapping Coq tactics to Lean tactics

    Updated Jul 13, 2017

  • overlapping-patterns Public

    Overlapping pattern matching for programming with continuous functions

    Coq Updated Jan 8, 2017

  • league-scheduler Public

    Create schedules for head-to-head leagues

    Haskell Updated Dec 4, 2016

  • topos Public

    topos theory notes

    TeX Updated Dec 2, 2016

  • 100game Public

    Forked from tchajed/100game

    Analysis of the 100 game

    Coq Updated Nov 7, 2016

  • cublas Public

    Haskell FFI bindings for CUBLAS, CUSPARSE, and CuFFT

    Haskell 9 6 BSD 3-Clause "New" or "Revised" License Updated Oct 6, 2016

  • finite Public

    Facts about isomorphisms and finite types in Coq

    Coq 6 Updated May 21, 2016

  • numbers Public

    Rational and real numbers

    Coq Updated May 19, 2016

  • crypto-scribe Public

    TeX Updated May 11, 2016

  • corn Public

    Forked from coq-community/corn

    Coq Repository at Nijmegen

    Coq GNU General Public License v2.0 Updated Mar 1, 2016

  • eecs-ims Public

    EECS intramural signups

    UrWeb Updated Feb 7, 2016

  • coq-ext-lib Public

    Forked from coq-community/coq-ext-lib

    A library of Coq definitions, theorems, and tactics.

    Coq Other Updated Jan 6, 2016

  • priority-map Public

    Mutable Haskell data structure which combines a heap with a map to allow random heap access

    Haskell Other Updated Aug 15, 2015

  • Idris-dev Public

    Forked from idris-lang/Idris-dev

    A Dependently Typed Functional Programming Language

    Haskell Other Updated Jul 14, 2015

  • haskell-vect Public

    Length-indexed lists for Haskell

    Haskell BSD 3-Clause "New" or "Revised" License Updated Jan 30, 2015

  • gadts-talk Public

    Materials for HaskellDC talk on GADTs

    Haskell 4 Updated Jan 22, 2015

  • HML Public

    Toy functional programming language compiling to x64 asm

    Haskell 2 Other Updated Dec 13, 2014

  • LinAlg Public

    A Haskell interface for specifying linear algebra computations

    Haskell 10 1 Updated Dec 9, 2014

  • cryptopals Public

    Solutions to the Matasano Crypto Challenges in Haskell

    Haskell 1 Updated Nov 9, 2014

  • blog Public

    Idris 41 2 Updated Nov 8, 2014