Pinned Repositories
attrap
ATtempt To Repair At Point (emacs flycheck extension)
boon
Ergonomic Command Mode for Emacs
dante
emacs-semantics-theming
Foundation for building semantically meaningful themes over emacs
glpk-hs
Haskell bindings to glpk
nano-Agda
Tiny type-checker with dependent types
prettiest
The Prettiest Printer
sctt
Type-Theory in Sequent Calculus
styx
A nix-based Haskell project manager
topics
Various interesting topics I'm looking at
jyp's Repositories
jyp/dante
jyp/boon
Ergonomic Command Mode for Emacs
jyp/attrap
ATtempt To Repair At Point (emacs flycheck extension)
jyp/prettiest
The Prettiest Printer
jyp/glpk-hs
Haskell bindings to glpk
jyp/emacs-semantics-theming
Foundation for building semantically meaningful themes over emacs
jyp/MarXup
Markup language on top of Haskell
jyp/elastic-modes
spaceship-mode and tabble-mode: text/code alignment for variable-width fonts
jyp/lp-diagrams
An EDSL for diagrams based based on linear constraints
jyp/lcr
Lightweight coroutines in elisp
jyp/linear-smc
Linear Types, Symmetric Monoidal Categories, and Tensors
jyp/ProbInfer
Material for the course
jyp/hcad
Haskell library for CAD
jyp/ControlledFusion
jyp/FOL
Minimal FOL prover
jyp/gasp
Another Haskell Prelude for Algebraic Classes and Structures
jyp/imbib
bibtex management functions and gui
jyp/python-vt24
vt24 demos
jyp/cmap
emacs: do at point
jyp/PaperTools
paper writing tools
jyp/citar
Emacs package to quickly find and act on bibliographic references, and edit org, markdown, and latex academic documents.
jyp/cnav
navigation to contextually relevant places
jyp/consult
consult.el - Consulting completing-read
jyp/jyp.github.io
jyp/mDNSResponder-client
Haskell client for mDNSResponder
jyp/mqtt2hue
Provide hue hub functionality for devices available via MQTT
jyp/network-msg
Haskell sendmsg/recvmsg bindings.
jyp/ProbProg
Gibbs sampling implementation of probability monad
jyp/use-package
A use-package declaration for simplifying your .emacs
jyp/yak
Yet Another Keyboard Model