epost
lead developer at @statebox :star: functional programming - type theory - category theory - abstract algebra - processes - computation
@statebox Amsterdam
Pinned Repositories
c64-game
A horizontal space shooter for Commodore 64.
psc-query
PureScript source code knowledge extraction and querying support.
purescript-any-db
PureScript Bindings for the node-any-db library.
purescript-datalog-parsers
Parsers for Prolog, Datomic, and various other Datalog varieties.
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
purescript-midi
PureScript MIDI library based on MIDI.js
purescript-node-postgres
PureScript bindings for node-postgres.
souffle-mode
Emacs mode for Souffle datalog files.
psc-ide-emacs
Emacs integration for PureScript's psc-ide tool.
epost's Repositories
epost/purescript-node-postgres
PureScript bindings for node-postgres.
epost/purescript-free-turtle
A toy turtle graphics interpreter based on the Free monad, in PureScript, with HTML Canvas graphics support.
epost/purescript-grasp
Graph specification processor language in PureScript
epost/souffle-mode
Emacs mode for Souffle datalog files.
epost/tab-blaffer-3000
Bookmark export Chrome extension to blaf all your open tabs into org-mode or JSON format.
epost/An_Introduction_to_Cryptography
This small book offers a deep-dive introduction on cryptography.
epost/agda-categories
A new Categories library for Agda
epost/Catlab.jl
A framework for applied category theory in the Julia language
epost/dhall-mode
epost/diagrams.github.io
Diagrams website
epost/documentation
Documentation for the PureScript language, compiler, and tools.
epost/egglog-mode
Emacs major mode for working with egglog (e-graphs, EqSat + Datalog)
epost/GATlab.jl
GATlab: a computer algebra system based on generalized algebraic theories (GATs)
epost/graphviz-dot-mode
Emacs mode for the DOT language, used by graphviz.
epost/grasp
graph specification processor (deprecated in favour of purescript version)
epost/jq-mode
Emacs major mode for editing jq queries.
epost/nushell
A new type of shell
epost/org-mode
This is a MIRROR only, do not send PR.
epost/osx-lib
epost/ox-clip
Copy formatted content from org-mode
epost/penrose
declaratively creating semantics-driven visualizations
epost/purescript-affjax
An asynchronous AJAX library built using Aff.
epost/purescript-domparser
DOMParser wrapper for integration with PureScript DOM
epost/purescript-express
Purescript wrapper for Express.js
epost/purescript-halogen-components
Small library of autonomous Halogen components
epost/purescript-mathbox
Purescript bindings for MathBox
epost/shell-functools
Functional programming tools for the shell
epost/spago
🍝 PureScript package manager and build tool powered by Dhall and package-sets
epost/terminusdb-server
open source model driven graph database for knowledge graph representation.
epost/vscode-extension-samples
Sample code illustrating the VS Code extension API.