JaSpa
CS Student in Freiburg im Breisgau (Germany). Interested in (mostly statically typed) programming languages and functional programming.
Freiburg (Germany)
Pinned Repositories
addy
A full-featured library for parsing, validating, and rendering email addresses
AlgST
Parser and Typechecker for Algebraic Session Types
bytestring
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
Decker
A multimedia sketchpad
diagnose
A simple library for reporting compiler/interpreter errors
FastCoding
A faster and more flexible binary file format replacement for NSCoding, Property Lists and JSON
FunctionalProgramming
Support repository for the functional programming lecture (Haskell)
fused-effects
A fast, flexible, fused effect system for Haskell
LazyJSON
JaSpa's Repositories
JaSpa/LazyJSON
JaSpa/addy
A full-featured library for parsing, validating, and rendering email addresses
JaSpa/AlgST
Parser and Typechecker for Algebraic Session Types
JaSpa/bytestring
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
JaSpa/Decker
A multimedia sketchpad
JaSpa/diagnose
A simple library for reporting compiler/interpreter errors
JaSpa/FunctionalProgramming
Support repository for the functional programming lecture (Haskell)
JaSpa/fused-effects
A fast, flexible, fused effect system for Haskell
JaSpa/GVinHs
JaSpa/haskell-flakes-with-extra-libraries
JaSpa/haskell-vim
Custom Haskell Vimscripts
JaSpa/icons
Official open source SVG icon library for Bootstrap.
JaSpa/idiomatic
Deriving Applicative for sum types.. Idiomatically.
JaSpa/imap
A performant IMAP client library
JaSpa/jsdoc-example
JaSpa/ldgv
Label dependent dependent session types
JaSpa/merde
Data (de)serialization via declarative macros
JaSpa/minisat
A minimalistic and high-performance SAT solver
JaSpa/multirec
JaSpa/pandoc-sidenote
Convert Pandoc Markdown-style footnotes into sidenotes
JaSpa/purescript-halogen
A declarative, type-safe UI library for PureScript.
JaSpa/require
🔌 Scrap your qualified import clutter
JaSpa/sat-checker
A random sample SAT solver checker
JaSpa/sparql-join-algorithms
JaSpa/strip-session-prefix
JaSpa/threepenny-gui
GUI framework that uses the web browser as a display.
JaSpa/tre
Tree command, improved.
JaSpa/tufte-css
Style your webpage like Edward Tufte’s handouts.
JaSpa/var-trees
JaSpa/wsession
Session types without linearity