• Stars
    star
    2
  • Language
    Zig
  • License
    MIT License
  • Created 5 months ago
  • Updated 4 months ago

Reviews

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

Repository Details

Melding fuzzing and PBT concepts in Zig (experiment)

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

motor

Type-safe effectful state machines in Haskell
Haskell
94
star
8

tlaplus-cli-template

CLI-driven TLA+ project template
Makefile
43
star
9

pandoc-emphasize-code

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

minimal-kotlin-nix-example

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

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

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

wickstrom.tech

Source for my blog
HTML
24
star
13

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

Slides and code examples for a talk
Haskell
22
star
14

purescript-leffe

The Labeled Effects Extension to PureScript
PureScript
21
star
15

twitter-kinesis-lab

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

dotfiles

My dotfiles for OSX and Ubuntu
Vim Script
19
star
17

minimal-beamer-slides-template

A minimal template for LaTeX Beamer slideshows
TeX
19
star
18

smug

The Sheet Music Generator
Clojure
14
star
19

domain-modeling-with-haskell-data-structures

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

home-manager

Nix home-manager setup
Nix
8
star
21

fsm-your-compiler-wants-in

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

hedgehog-inline-java-testing

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

sqsd-local

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

declarative-gtk-programming-in-haskell

A talk given at LambdAle
JavaScript
5
star
25

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

A talk for Lambda World Cadiz 2018
JavaScript
4
star
26

gameoflife

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

websub

A WebSub client for Haskell
Haskell
3
star
28

.emacs.d

Emacs Lisp
3
star
29

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

JavaScript
2
star
30

property-based-testing-the-ugly-parts

A talk for MF#K, February 26, 2019
JavaScript
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