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/styx
A nix-based Haskell project manager
jyp/organ
jyp/Parsek
The Parsek library developed by Koen Claessen in his functional pearl article Parallel Parsing Processes
jyp/inox
A language with linear types
jyp/lp-diagrams-svg
SVG backend for lp-diagrams
jyp/typography-geometry
Drawings for printed text documents
jyp/whynote
Minimal Note Taking program
jyp/Cake
Build system as a Haskell library
jyp/dactyl-keyboard
Parameterized ergonomic keyboard
jyp/polynomials-bernstein
jyp/cubical
Implementation of Univalence in Cubical Sets
jyp/labeled-graph
Haskell Labeled Graph
jyp/nnn
Not a Neural Network library
jyp/sparse-matrix
sparse matrix represented as quad-tree
jyp/emacs-haskell-tutorial
Tutorial on setting up Emacs to do Haskell programming
jyp/KeyV2
KeyV2: A Parametric Mechanical Keycap Library
jyp/lets-split-guide
This guide covers building a Let's Split v2
jyp/melpa
Scripts for building Emacs packages from Version Control
jyp/modalka
Easily introduce native modal editing of your own design
jyp/Model01-Firmware
The "standard" Keyboardio Model 01 Firmware sketch.
jyp/nixpkgs
Nix Packages collection
jyp/nonlinear-optimization-ad
Wrapper of nonlinear-optimization package for using with AD package
jyp/philips-hue-haskell
Haskell API wrapper for Philips Hue
jyp/PLT-Course
My Course on Programming Language Theory
jyp/powerline
emacs powerline
jyp/ProbProg
Gibbs sampling implementation of probability monad
jyp/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
jyp/spaceline
Powerline theme from Spacemacs
jyp/svg-tree
SVG loader/serializer for Haskell
jyp/swiper
Ivy - a generic completion frontend for Emacs, Swiper - isearch with an overview, and more. Oh, man!