Pinned Repositories
fby19
Type inference from scratch - Material for my talk at F(by)19
FROST-Frontend
Reactive Programming with PureScript and React
infer_workshop
An interactive workshop on implementing AlgorithmW in Kotlin
motoko-library-template
A template for creating Motoko libraries
nemo-lang
A small procedural programming language that compiles to Wasm GC
psc-ide
DEPRECATED - Editor Support for the PureScript programming language
pscid
A lightweight, fast and unintrusive PureScript file-watcher
purescript-emmet
Quick scaffolding for Halogen's HTML DSL
purescript-wasm
Wasm library for PureScript
psc-ide-emacs
Emacs integration for PureScript's psc-ide tool.
kritzcreek's Repositories
kritzcreek/pscid
A lightweight, fast and unintrusive PureScript file-watcher
kritzcreek/motoko-matchers
kritzcreek/purescript-wasm
Wasm library for PureScript
kritzcreek/nemo-lang
A small procedural programming language that compiles to Wasm GC
kritzcreek/a-whole-new-world
My self-built emacs configuration
kritzcreek/siml
My playground for building a compiler for an ML-like in Rust
kritzcreek/purescript-psc-ide
PureScript client for psc-ide
kritzcreek/halogen-history-table
kritzcreek/affjax-example
kritzcreek/beforeunload-example
kritzcreek/memo
Nemo never forgets
kritzcreek/PuC-SS23
Programmiersprachen und Compilerbau SS23
kritzcreek/hop
Tooling for working with SCIP
kritzcreek/psc-ide-emacs
Emacs integration for PureScript's psc-ide tool.
kritzcreek/purescript
A small strongly typed language that compiles to Javascript
kritzcreek/purescript-dodo-printer
An adequate printer.
kritzcreek/purescript-suggest
Apply PureScript compiler suggestions to fix warnings
kritzcreek/tree-sitter
An incremental parsing system for programming tools
kritzcreek/tree-sitter-dart
Attempt to make a tree-sitter grammar for dart
kritzcreek/tree-sitter-hack
Hack grammar for tree-sitter
kritzcreek/tree-sitter-jsonnet
tree-sitter grammar for JSONNET
kritzcreek/tree-sitter-magik
Magik grammar for tree-sitter
kritzcreek/tree-sitter-matlab
MATLAB tree-sitter parser
kritzcreek/tree-sitter-nemo
tree-sitter grammar for the Nemo programming language
kritzcreek/tree-sitter-nickel
kritzcreek/tree-sitter-perl
kritzcreek/tree-sitter-pkl
Tree-sitter parser for Pkl
kritzcreek/ts-wasm-test
kritzcreek/vessel-package-set
The official community package-set for vessel
kritzcreek/wasm-tools
Low level tooling for WebAssembly in Rust