ivanbakel Goto Github PK

aeson-qq

JSON quasiquoter for Haskell

aeson-schema7

ante

The compile-time language

backtracking_iterator

A simple implementation of a generic iterator with an item history, capable of backtracking and forgetting.

bigchaindb

BigchainDB is a scalable blockchain database

bloodhound

Haskell Elasticsearch client and query DSL

cargo

The Rust package manager

charon

Interface with the rustc compiler for the purpose of program verification

codemap

A data structure for tracking source code positions, inspired by the type in rustc's libsyntax.

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

coq-antivalence

Coq plugin to generate type inequality axioms for inductive definitions

coq-spam

Formalisation of Separation Logic and Mutability

docker-zulip

Container configurations, images, and examples for Zulip.

eli5-programming

esqueleto

New home of Esqueleto, please file issues so we can get things caught up!

fakedata

Haskell Library for producing quality fake data

galois-theory-notes

gtksheet

A spreadsheet widget for Gtk+

haskell-gi

Generate Haskell bindings for GObject-Introspection capable libraries

haskell-mu

Attempts to embed lambda-mu semantics in Haskell

hedis

A Redis client library for Haskell.

hout-prover

A non-interactive proof assistant using the Haskell type system

ironpython3

IronPython 3

ivanbakel.github.io

language-rust

Parser and pretty-printer for the Rust language

literate

A literate programming tool for any language

m2pm5

Metric Spaces & Topology

m3p19

We <3 Measure and Integration

mathjax

Beautiful math in all browsers

maud

:pencil: Compile-time HTML templates for Rust