valderman

Functional programmer, computer science PhD, magical girl.

@koditorietGothenburg, Sweden

Pinned Repositories

VossII
The source code to the Voss II Hardware Verification Suite
Language:Verilog53 7 1213
4koma
A TOML 1.0 parser library for Kotlin
Language:Kotlin73 3 2114
bt-reload-headphones
Workaround for wonky Sony (possibly other) BT headphones
Language:Shell28 2 13
ctagsymbols
CTags workspace symbol provider extension for Visual Studio Code
Language:JavaScript6 2 21
ghc-simple
Simplified interface to the GHC API
Language:Haskell24 9 13
haste-compiler
A GHC-based Haskell to JavaScript compiler
Language:Haskell1.4k 56 362111
konbini
Parser library for Kotlin
Language:Kotlin46 2 20
lambdascript
Ugly prototype language for strongly typed, lazy, purely functional client side web scripting
Language:Haskell25 5 00
selda
A type-safe, high-level SQL library for Haskell
Language:Haskell477 17 13058
shellmate
Write type-safe shell scripts in Haskell
Language:Haskell14 3 104

valderman's Repositories

valderman/selda
A type-safe, high-level SQL library for Haskell
Language:Haskell477 17 13058
valderman/4koma
A TOML 1.0 parser library for Kotlin
Language:Kotlin73 3 2114
valderman/konbini
Parser library for Kotlin
Language:Kotlin46 2 20
valderman/bt-reload-headphones
Workaround for wonky Sony (possibly other) BT headphones
Language:Shell28 2 13
valderman/ghc-simple
Simplified interface to the GHC API
Language:Haskell24 9 13
valderman/shellmate
Write type-safe shell scripts in Haskell
Language:Haskell14 3 104
valderman/ghc-sd
Build a GHC which produces shared libraries without runtime Haskell dependencies
Language:Dockerfile10 2 0
valderman/squeekboard-sway
Sway-friendly mod of the original Squeekboard keyboard
Language:Rust7 2 0
valderman/aoc21
Advent of Code 2021 in Haskell
Language:Haskell6 2 0
valderman/ctagsymbols
CTags workspace symbol provider extension for Visual Studio Code
Language:JavaScript6 2 21
valderman/ask
User input convenience functions for console programs
Language:Haskell4 3 0
valderman/haskell-mpv
Thread-safe Haskell wrapper around libmpv
Language:Haskell4 3 0
valderman/threefish.js
Javascript implementation of the Threefish block cipher and Skein hash function
4 4 02
valderman/mat
What's for lunch today around Grönsakstorget, Gothenburg?
Language:Python2 2 61
valderman/tini
Tiny INI file and generic configuration library
Language:Haskell2 2 1
valderman/papers
PDFs of papers I've written or contributed to
1 1 0
valderman/phdtools
Timekeeping tool for multiple projects
Language:Haskell1 4 02
valderman/aoc22
Advent of Code 2022 in Rust
Language:Rust2 0
valderman/gradle-plugin-from-github-packages
Language:Kotlin2 0
valderman/gradle-plugin-on-github-packages
Language:Kotlin2 0
valderman/gradle-plugin-on-github-packages-maven-repo
2 0
valderman/grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
Language:ANTLR1 0
valderman/kotline
Minimalist line editing library for Kotlin
Language:Kotlin2 0
valderman/ksv
Kotlin library for working with CSV files
Language:Kotlin2 0
valderman/mbox2sqlite
Convert mbox files into SQLite databases
Language:Rust2 0
valderman/qui.su
Make Quizzes Great Again
Language:JavaScript2 0
valderman/stackage
"Stable Hackage": vetted consistent packages from Hackage
Language:Shell2 0
valderman/thicc
Trivial HTTP Interface for (Docker) Compose Containers
Language:Haskell2 0
valderman/vasttrafik
Python library + program for querying Västtrafik stops and departures
Language:Python2 0
valderman/yubikey-manager
Python library and command line tool for configuring any YubiKey over all USB interfaces.
Language:Python1 0