Erik Post's repositories
purescript-node-postgres
PureScript bindings for node-postgres.
purescript-free-turtle
A toy turtle graphics interpreter based on the Free monad, in PureScript, with HTML Canvas graphics support.
purescript-grasp
Graph specification processor language in PureScript
souffle-mode
Emacs mode for Souffle datalog files.
tab-blaffer-3000
Bookmark export Chrome extension to blaf all your open tabs into org-mode or JSON format.
An_Introduction_to_Cryptography
This small book offers a deep-dive introduction on cryptography.
agda-categories
A new Categories library for Agda
Catlab.jl
A framework for applied category theory in the Julia language
diagrams.github.io
Diagrams website
documentation
Documentation for the PureScript language, compiler, and tools.
egglog-mode
Emacs major mode for working with egglog (e-graphs, EqSat + Datalog)
GATlab.jl
GATlab: a computer algebra system based on generalized algebraic theories (GATs)
graphviz-dot-mode
Emacs mode for the DOT language, used by graphviz.
jq-mode
Emacs major mode for editing jq queries.
nushell
A new type of shell
org-mode
This is a MIRROR only, do not send PR.
penrose
declaratively creating semantics-driven visualizations
purescript-affjax
An asynchronous AJAX library built using Aff.
purescript-domparser
DOMParser wrapper for integration with PureScript DOM
purescript-express
Purescript wrapper for Express.js
purescript-halogen-components
Small library of autonomous Halogen components
purescript-mathbox
Purescript bindings for MathBox
shell-functools
Functional programming tools for the shell
terminusdb-server
open source model driven graph database for knowledge graph representation.
vscode-extension-samples
Sample code illustrating the VS Code extension API.