Pinned Repositories
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
ppx_deriving_decoders
Auto generate decoders for OCaml
SchemeRepl
Basic interpreter for Scheme written in Haskell
SimpleSynth
This is a simple audio library constructed from fundamentals
benbellick's Repositories
benbellick/ppx_deriving_decoders
Auto generate decoders for OCaml
benbellick/SimpleSynth
This is a simple audio library constructed from fundamentals
benbellick/benbellick.github.io
Personal Website
benbellick/SchemeRepl
Basic interpreter for Scheme written in Haskell
benbellick/ATP
Automated Theorem Prover
benbellick/config
Configuration files
benbellick/hlint
Haskell source code suggestions
benbellick/jsoo-react-template
Template for a minimal jsoo-react project
benbellick/KoVocab
This is a simple python script which allows the extraction of saved vocabulary words from a Kobo eReader device into an anki deck.
benbellick/LangLearnTool
A command line utility to help language learners determine if a document is appropriate for their level
benbellick/multy-poly-divy
Multivariate polynomial division...
benbellick/ocaml-containers
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
benbellick/plfa.github.io
An introduction to programming language theory in Agda
benbellick/ocaml-decoders
Elm-inspired decoders for Ocaml
benbellick/opam-repository
Main public package repository for opam, the source package manager of OCaml.
benbellick/Portfolio
Simple portfolio management written in Haskell
benbellick/pycallgraph
pycallgraph is a Python module that creates call graphs for Python programs.
benbellick/reason-react
Reason bindings for ReactJS
benbellick/saggezza-ao-back-end
benbellick/saggezza-ao-front-end
benbellick/ScppecialCase
This is a repo for short bits of C++ code which answer question I have had.
benbellick/tech-proposals
The Haskell Foundation Tech Proposal Process
benbellick/utop
Universal toplevel for OCaml