Passionate typed functional programmer. Member of the church of Emacs.
pscid. A lightweight, fast and unintrusive PureScript file-watcher
139fby19. Type inference from scratch - Material for my talk at F(by)19
67psc-ide. DEPRECATED - Editor Support for the PureScript programming language
61purescript-emmet. Quick scaffolding for Halogen's HTML DSL
35motoko-library-template. A template for creating Motoko libraries
31FROST-Frontend. Reactive Programming with PureScript and React
31purescript-wasm. Wasm library for PureScript
31motoko-matchers. Motoko
28nemo-lang. A small programming language that compiles to Wasm GC
21infer_workshop. An interactive workshop on implementing AlgorithmW in Kotlin
21purescript-matrices. Simple two-dimensional matrices backed by a flat array
18okasaki. Working through Okasaki's "Functional Datastructures" in PureScript
14electron-apps-with-purescript. https://kritzcreek.github.io/posts/2016-07-05-purescript-electron.html
12a-whole-new-world. My self-built emacs configuration
11purescript-blessed. [WIP!] PureScript bindings to the blessed library
10siml. My playground for building a compiler for an ML-like in Rust
10purescript-psc-ide. PureScript client for psc-ide
9purslasher. A Beat 'em Up in PureScript
8purescript-halogen-autocomplete. Simple autocomplete component for Halogen
7motoko-regex. Simple Regexes for Motoko
7PuC-SS21. Vorlesungsmaterial fuer Programmiersprachen und Compilerbau im SS2021
6squirrelzon. A Webshop with a twist
6psc-gui. PureScript
5dotfiles. Home sweet home
5motoko-pretty. A pretty printing library for Motoko
4motoko-json. Modelica
4ps-pretty. Haskell
4FROST-Backend. Backend for the (F)unctional (R)eactive (O)pen (S)pace (T)imetable
4PuC-SS22. Code und Slides fuer die Vorlesung "Programmiersprachen und Compilerbau" and der TH Koeln im SS22
4chromacannon. POW COLORS!
3minskjs-graphics. The code for my talk at MinskJS
3purescript-purs-ide. Communicating with PureScript's IDE server from PureScript
3clippy-api. Haskell
3purpl. WIP interpreter for PureScript
3halogen-history-table. PureScript
3ps-benchmarks. Haskell
3FROST-Thermite. PureScript
3purescript-dynamic-buffer. Growing Buffers
3ic101. Modelica
3KinectNinja. A Fruit Ninja Port into the third Dimension.
3kittenmix. Experimenting with the LSP for PureScript
3no-brainer-cps. Implements No-Brainer CPS conversion - http://www.ccs.neu.edu/home/shivers/papers/nobrainer-cps.pdf
3purescript-webauthn. PureScript
2purs-archive. A package registry for PureScript
2gol-hs. Haskell
2morgana. Haskell
2PuC-WS20. Materialien für das Programmiersprachen und Compilerbau WPF im WS2020
1MaraML. Kotlin
1stlc-purs. PureScript
1