Pinned Repositories
hscurses
ncurses binding for Haskell
HTF
Haskell Test Framework
libPyshell
magic-property
Objective-C data records made easy
roundtrip
Roundtrip allows the definition of bidirectional (de-)serialization specifications
rust_class
rust_class_ew2022
text-slides
Slides with markdown
write-your-python-program
xmlgen
XML generator library for Haskell
skogsbaer's Repositories
skogsbaer/HTF
Haskell Test Framework
skogsbaer/roundtrip
Roundtrip allows the definition of bidirectional (de-)serialization specifications
skogsbaer/rust_class
skogsbaer/rust_class_ew2022
skogsbaer/computations
skogsbaer/write-your-python-program
skogsbaer/libPyshell
skogsbaer/text-slides
Slides with markdown
skogsbaer/check-assignments
skogsbaer/codeworld
Educational computer programming environment using Haskell
skogsbaer/csv-conduit
Flexible, fast and constant-space CSV library for Haskell using conduits
skogsbaer/Essentials-of-Compilation
A book about compiling Racket and Python to x86-64 assembly
skogsbaer/fgg-translate
skogsbaer/gramma
command-line grammar checker
skogsbaer/haskell-src
Library for manipulating Haskell source code
skogsbaer/hsovpn-2fa
Script to complete the 2FA VPN auth flow for the Hochschule Offenburg
skogsbaer/KE-complex_modifications
Karabiner-Elements complex_modifications rules
skogsbaer/language-java
Java parser and printer for haskell
skogsbaer/large-hashable
Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms
skogsbaer/lecture-material
skogsbaer/lens-benchmark
skogsbaer/mermaid
Generation of diagram and flowchart from text in a similar manner as markdown
skogsbaer/minsem
Minimal semantic subtyping framework
skogsbaer/python-visualisation
skogsbaer/qr_code_scanner
QR Code Scanner for Flutter
skogsbaer/snooze-apple-mail
Snooze functionality for Apple's Mail.app
skogsbaer/stackage
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
skogsbaer/sum-product
skogsbaer/untypy
skogsbaer/vscode-action-buttons
VsCode extension for custom status bar buttons