JaSpa/AlgST
Parser and Typechecker for Algebraic Session Types
CS Student in Freiburg im Breisgau (Germany). Interested in (mostly statically typed) programming languages and functional programming.
Repositories
JaSpa/agda-prefix-stripping
JaSpa/kdl-rs
Rust parser for KDL
JaSpa/agdatex
Extract LaTeX-Macros from annotated .agda-files
JaSpa/strip-session-prefix
JaSpa/bsession-impl
JaSpa/Decker
A multimedia sketchpad
JaSpa/jsdoc-example
JaSpa/swift
The Swift Programming Language
JaSpa/minisat
A minimalistic and high-performance SAT solver
JaSpa/var-trees
JaSpa/wsession
Session types without linearity
JaSpa/bytestring
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
JaSpa/haskell-flakes-with-extra-libraries
JaSpa/sat-checker
A random sample SAT solver checker
JaSpa/GVinHs
JaSpa/LazyJSON
JaSpa/sparql-join-algorithms
JaSpa/FunctionalProgramming
Support repository for the functional programming lecture (Haskell)
JaSpa/diagnose
A simple library for reporting compiler/interpreter errors
JaSpa/haskell-vim
Custom Haskell Vimscripts
JaSpa/idiomatic
Deriving Applicative for sum types.. Idiomatically.
JaSpa/imap
A performant IMAP client library
JaSpa/ldgv
Label dependent dependent session types
JaSpa/addy
A full-featured library for parsing, validating, and rendering email addresses
JaSpa/pandoc-sidenote
Convert Pandoc Markdown-style footnotes into sidenotes
JaSpa/tufte-css
Style your webpage like Edward Tufte’s handouts.
JaSpa/vim-colorstepper
Cycle easily through vim color schemes