Pinned Repositories
atom-linter-encore
Linter for the encore language
cflat
cflat-collections
encore
The Encore compiler.
kaeluka.github.io
mock-data-gen
Generate randomized mock data from io.ts type codecs.
Statem
A finite state machine (DFA/NFA) implementation in haskell.
kaeluka's Repositories
kaeluka/mock-data-gen
Generate randomized mock data from io.ts type codecs.
kaeluka/atom-linter-encore
Linter for the encore language
kaeluka/cflat
kaeluka/Statem
A finite state machine (DFA/NFA) implementation in haskell.
kaeluka/cflat-collections
kaeluka/encore
The Encore compiler.
kaeluka/kaeluka.github.io
kaeluka/atom-haskell-hoogle
Look up stuff on hoogle
kaeluka/awesome-fast-check
Awesome fast-check resources. Contributions and suggestions are welcomed!
kaeluka/blocks-test
kaeluka/codeql-action
Actions for running CodeQL analysis
kaeluka/derive_gift
kaeluka/gift_stdlib
Gift libraries.
kaeluka/giftr
A rust implementation of disjointness domains. Sharing is caring.
kaeluka/kaeluka
kaeluka/labeler
An action for automatically labelling pull requests
kaeluka/lang8
Lang 8 from outer space.
kaeluka/llvmtest
Testing the `llvm-general` lib from hackage
kaeluka/OpenSousVide
A cheap, free, easy, smart sous vide cooker. With WiFi.
kaeluka/savina
Savina is an Actor Benchmark Suite.
kaeluka/spencer
kaeluka/spencer-all
kaeluka/spencer-instrumentation
kaeluka/spencer-runtime-transformer
kaeluka/spencer-server
kaeluka/spencer-tracing
kaeluka/spencer-ui
A web based UI for spencer.
kaeluka/tone-fun
Fun with tone.js.