• Stars
    star
    94
  • Rank 356,972 (Top 8 %)
  • Language
    Haskell
  • Created about 7 years ago
  • Updated about 4 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Type-safe effectful state machines in Haskell

More Repositories

1

the-monospace-web

A minimalist design exploration
HTML
1,258
star
2

komposition

The video editor built for screencasters
Haskell
429
star
3

gi-gtk-declarative

Declarative GTK+ programming in Haskell
Haskell
288
star
4

vim-colors-paramount

A minimal colorscheme for Vim that only puts emphasis on the paramount.
Vim Script
243
star
5

pandoc-include-code

A Pandoc filter for including code from source files
Haskell
140
star
6

idris-vimscript

Compile Idris to Vimscript, like you always wanted.
Haskell
130
star
7

tlaplus-cli-template

CLI-driven TLA+ project template
Makefile
43
star
8

pandoc-emphasize-code

A Pandoc filter for emphasizing code in fenced blocks
Haskell
28
star
9

minimal-kotlin-nix-example

Minimal Kotlin and Nix flake example (with Gradle 8 support)
Nix
26
star
10

automating-the-build-of-your-technical-presentation-template

The full template for "Automating the Build of your Technical Presentation"
TeX
26
star
11

wickstrom.tech

Source for my blog
HTML
24
star
12

fast-and-fearless-evolution-of-server-side-webapps

Slides and code examples for a talk
Haskell
22
star
13

purescript-leffe

The Labeled Effects Extension to PureScript
PureScript
21
star
14

twitter-kinesis-lab

A lab on how to use Amazon Kinesis for finding popular hashtags.
Clojure
20
star
15

dotfiles

My dotfiles for OSX and Ubuntu
Vim Script
19
star
16

minimal-beamer-slides-template

A minimal template for LaTeX Beamer slideshows
TeX
19
star
17

smug

The Sheet Music Generator
Clojure
14
star
18

domain-modeling-with-haskell-data-structures

A talk given at the Polyglot meetup in CPH, March 2018
Haskell
13
star
19

home-manager

Nix home-manager setup
Nix
8
star
20

fsm-your-compiler-wants-in

The slide sources for "Finite-state machines? Your compiler wants in!"
Haskell
7
star
21

hedgehog-inline-java-testing

haskell-hedgehog's model-based state machine testing together with inline-java
Haskell
6
star
22

sqsd-local

A local version of sqsd, the daemon in Elastic Beanstalk's Worker Environments.
Haskell
6
star
23

declarative-gtk-programming-in-haskell

A talk given at LambdAle
JavaScript
5
star
24

writing-a-screencast-video-editor-in-haskell

A talk for Lambda World Cadiz 2018
JavaScript
4
star
25

gameoflife

Conway's Game Of Life, written in ClojureScript.
Clojure
3
star
26

websub

A WebSub client for Haskell
Haskell
3
star
27

.emacs.d

Emacs Lisp
3
star
28

domain-modeling-with-haskell-data-structures-oredev

JavaScript
2
star
29

property-based-testing-the-ugly-parts

A talk for MF#K, February 26, 2019
JavaScript
2
star
30

fuzzig

Melding fuzzing and PBT concepts in Zig (experiment)
Zig
2
star
31

domain-modelling-with-haskell-workshop

HTML
2
star
32

power-of-fp-static-types-server-side-web

Slides of my talk: The Power of Functional Programming and Static Type Systems in Server-Side Web Applications
TeX
2
star
33

owickstrom

The profile page
1
star
34

clojurescript-koans

Clojure Koans for ClojureScript
Clojure
1
star
35

zap

A LISP interpreter in Javascript
JavaScript
1
star
36

haskell-robot-lab

An introductory Haskell lab.
Haskell
1
star
37

specifying-and-testing-web-applications

Slides for a talk
TeX
1
star
38

hello-node-cljs

Testing Node and Express with ClojureScript.
Clojure
1
star
39

gitpod-nix-test

Dockerfile
1
star
40

service-worker-lab

Add offline capabilities to a web app using Service Worker.
JavaScript
1
star
41

guism-example

WIP
Haskell
1
star
42

blog-post-dataflow

Makefile
1
star
43

psc-vimscript

PureScript
1
star