jyp

University of GothenburgGöteborg, Sweden

Pinned Repositories

attrap
ATtempt To Repair At Point (emacs flycheck extension)
Language:Emacs Lisp43 4 77
boon
Ergonomic Command Mode for Emacs
Language:Emacs Lisp334 16 8935
dante
Language:Emacs Lisp391 16 12251
emacs-semantics-theming
Foundation for building semantically meaningful themes over emacs
Language:Emacs Lisp12 4 02
glpk-hs
Haskell bindings to glpk
Language:Haskell13 4 1018
nano-Agda
Tiny type-checker with dependent types
Language:Haskell76 11 08
prettiest
The Prettiest Printer
Language:Haskell35 10 86
sctt
Type-Theory in Sequent Calculus
Language:Haskell13 6 01
styx
A nix-based Haskell project manager
Language:Haskell162 18 1416
topics
Various interesting topics I'm looking at
Language:Haskell13 6 04

jyp's Repositories

jyp/dante
Language:Emacs Lisp391 16 12251
jyp/boon
Ergonomic Command Mode for Emacs
Language:Emacs Lisp334 16 8935
jyp/attrap
ATtempt To Repair At Point (emacs flycheck extension)
Language:Emacs Lisp43 4 77
jyp/prettiest
The Prettiest Printer
Language:Haskell35 10 86
jyp/glpk-hs
Haskell bindings to glpk
Language:Haskell13 4 1018
jyp/emacs-semantics-theming
Foundation for building semantically meaningful themes over emacs
Language:Emacs Lisp12 4 02
jyp/MarXup
Markup language on top of Haskell
Language:Haskell11 7 23
jyp/elastic-modes
spaceship-mode and tabble-mode: text/code alignment for variable-width fonts
Language:Emacs Lisp8 1 01
jyp/lp-diagrams
An EDSL for diagrams based based on linear constraints
Language:Haskell7 4 0
jyp/lcr
Lightweight coroutines in elisp
Language:Emacs Lisp6 2 12
jyp/linear-smc
Linear Types, Symmetric Monoidal Categories, and Tensors
Language:Haskell5 3 01
jyp/ProbInfer
Material for the course
Language:Haskell5 4 0
jyp/hcad
Haskell library for CAD
Language:Haskell4 4 0
jyp/ControlledFusion
Language:Haskell3 7 0
jyp/FOL
Minimal FOL prover
Language:Haskell2 3 0
jyp/gasp
Another Haskell Prelude for Algebraic Classes and Structures
Language:Haskell2 4 03
jyp/imbib
bibtex management functions and gui
Language:Haskell2 4 01
jyp/cmap
emacs: do at point
Language:Emacs Lisp1 4 22
jyp/python-courses-exams
Repository of old exams for introductory programming courses at CSE/Chalmers
Language:Python11
jyp/python-ht24
live coding results
Language:Python1
jyp/PaperTools
paper writing tools
Language:TeX0 7 01
jyp/citar
Emacs package to quickly find and act on bibliographic references, and edit org, markdown, and latex academic documents.
Language:Emacs Lisp1 0
jyp/cnav
navigation to contextually relevant places
Language:Emacs Lisp2 0
jyp/consult
consult.el - Consulting completing-read
Language:Emacs Lisp1 0
jyp/jyp.github.io
Language:HTML3 0
jyp/mDNSResponder-client
Haskell client for mDNSResponder
Language:C1 0
jyp/mqtt2hue
Provide hue hub functionality for devices available via MQTT
Language:Haskell2 0
jyp/network-msg
Haskell sendmsg/recvmsg bindings.
Language:Haskell
jyp/use-package
A use-package declaration for simplifying your .emacs
Language:Emacs Lisp
jyp/yak
Yet Another Keyboard Model
Language:Haskell2 0