David Banas's repositories
Haskell_ML
Various examples of machine learning, in Haskell.
haskell-rl
Reinforcement learning in Haskell.
agda-stdlib
The Agda standard library
capn-freako.github.io
:triangular_ruler: Jekyll theme for building a personal site, blog, project documentation, or portfolio.
cdt-builds
conda-forge cdt builds
freaky-chess
Chess game written in Haskell
gitit-to-blog
Convert a gitit-friendly markdown page to HTML, including various transformations
IPython_Notebooks
a collection of short, one-topic engineering presentations, containing a mix of narrative and real (Python) code, along with its output.
pandoc-include
An include filter for Pandoc
parsec.py
A universal Python parser combinator library inspired by Parsec library of Haskell.
plfa.github.io
Introduction to programming language theory in Agda
spice-mode
Major mode for SPICE.