benbellick Goto Github PK

atp

Automated Theorem Prover

benbellick.github.io

Personal Website

config

Configuration files

hlint

Haskell source code suggestions

jsoo-react-template

Template for a minimal jsoo-react project

kovocab

This is a simple python script which allows the extraction of saved vocabulary words from a Kobo eReader device into an anki deck.

langlearntool

A command line utility to help language learners determine if a document is appropriate for their level

multy-poly-divy

Multivariate polynomial division...

ocaml-containers

A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.

plfa.github.io

An introduction to programming language theory in Agda

portfolio

Simple portfolio management written in Haskell

pycallgraph

pycallgraph is a Python module that creates call graphs for Python programs.

reason-react

Reason bindings for ReactJS

saggezza-ao-back-end

saggezza-ao-front-end

schemerepl

Basic interpreter for Scheme written in Haskell

scppecialcase

This is a repo for short bits of C++ code which answer question I have had.

simplesynth

This is a simple audio library constructed from fundamentals

tech-proposals

The Haskell Foundation Tech Proposal Process

utop

Universal toplevel for OCaml