Erik Post's Projects
A new Categories library for Agda
Example code from some Amsterdam Scala Meetup sessions.
This small book offers a deep-dive introduction on cryptography.
Emacs mode for CQL (the Categorical Query Language, formerly AQL) from Categorical Informatics (http://catinf.com)
Build It PureScript
Simple beginner friendly code to show how to read from Twitter
A horizontal space shooter for Commodore 64.
Knuth-Bendix Algorithms for computing with finitely-presented categories
A framework for applied category theory in the Julia language
A pure Haskell implementation of Datalog
Diagrams website
Documentation for the PureScript language, compiler, and tools.
easy pie chart is a lightweight plugin to draw simple, animated pie charts for single values
Emacs major mode for working with egglog (e-graphs, EqSat + Datalog)
Mirror of GNU Emacs
Major mode for psci (purescript's repl)
eXist Native XML Database and Application Platform
Validation data structure.
A few examples of basic FP stuff in using Ramda.js
IDE and compiler for the next iteration of FQL, the functorial query language.
Lift Framework
Frege Testing
GATlab: a computer algebra system based on generalized algebraic theories (GATs)
Emacs mode for the DOT language, used by graphviz.
graph specification processor (deprecated in favour of purescript version)