Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by kritzcreek
A curated list of projects in awesome lists by kritzcreek .
https://github.com/kRITZCREEK/pscid
A lightweight, fast and unintrusive PureScript file-watcher
Last synced: 25 Oct 2024
https://github.com/kritzcreek/pscid
A lightweight, fast and unintrusive PureScript file-watcher
Last synced: 10 Oct 2024
https://github.com/kritzcreek/fby19
Type inference from scratch - Material for my talk at F(by)19
Last synced: 28 Oct 2024
https://github.com/kritzcreek/psc-ide
DEPRECATED - Editor Support for the PureScript programming language
Last synced: 27 Oct 2024
https://github.com/kritzcreek/purescript-emmet
Quick scaffolding for Halogen's HTML DSL
Last synced: 10 Oct 2024
https://github.com/kritzcreek/frost-frontend
Reactive Programming with PureScript and React
Last synced: 28 Oct 2024
https://github.com/kritzcreek/motoko-library-template
A template for creating Motoko libraries
Last synced: 10 Oct 2024
https://github.com/kritzcreek/infer_workshop
An interactive workshop on implementing AlgorithmW in Kotlin
Last synced: 28 Oct 2024
https://github.com/kritzcreek/purescript-matrices
Simple two-dimensional matrices backed by a flat array
Last synced: 10 Oct 2024
https://github.com/kritzcreek/okasaki
Working through Okasaki's "Functional Datastructures" in PureScript
Last synced: 10 Oct 2024
https://github.com/kritzcreek/electron-apps-with-purescript
https://kritzcreek.github.io/posts/2016-07-05-purescript-electron.html
Last synced: 10 Oct 2024
https://github.com/kritzcreek/a-whole-new-world
My self-built emacs configuration
Last synced: 10 Oct 2024
https://github.com/kritzcreek/siml
My playground for building a compiler for an ML-like in Rust
compiler parsing typechecker wasm
Last synced: 28 Oct 2024
https://github.com/kritzcreek/purescript-blessed
[WIP!] PureScript bindings to the blessed library
Last synced: 10 Oct 2024
https://github.com/kritzcreek/nemo-lang
A small procedural programming language that compiles to Wasm GC
compiler programming-language wasm
Last synced: 28 Oct 2024
https://github.com/kritzcreek/purescript-psc-ide
PureScript client for psc-ide
Last synced: 10 Oct 2024
https://github.com/kritzcreek/purescript-halogen-autocomplete
Simple autocomplete component for Halogen
Last synced: 10 Oct 2024
https://github.com/kritzcreek/motoko-pretty
A pretty printing library for Motoko
Last synced: 10 Oct 2024
https://github.com/kritzcreek/frost-backend
Backend for the (F)unctional (R)eactive (O)pen (S)pace (T)imetable
Last synced: 10 Oct 2024
https://github.com/kritzcreek/puc-ss22
Code und Slides fuer die Vorlesung "Programmiersprachen und Compilerbau" and der TH Koeln im SS22
Last synced: 10 Oct 2024
https://github.com/kritzcreek/minskjs-graphics
The code for my talk at MinskJS
Last synced: 10 Oct 2024
https://github.com/kritzcreek/kittenmix
Experimenting with the LSP for PureScript
Last synced: 10 Oct 2024
https://github.com/kritzcreek/kinectninja
A Fruit Ninja Port into the third Dimension.
Last synced: 10 Oct 2024
https://github.com/kritzcreek/no-brainer-cps
Implements No-Brainer CPS conversion - http://www.ccs.neu.edu/home/shivers/papers/nobrainer-cps.pdf
Last synced: 10 Oct 2024
https://github.com/kritzcreek/purescript-purs-ide
Communicating with PureScript's IDE server from PureScript
Last synced: 10 Oct 2024
https://github.com/kritzcreek/motoko-html
A minimal HTML library for Motoko
Last synced: 10 Oct 2024
https://github.com/kritzcreek/purs-archive
A package registry for PureScript
Last synced: 10 Oct 2024
https://github.com/kritzcreek/spacemacs-conf
The Spacemacs configuration I'm currently using
Last synced: 10 Oct 2024
https://github.com/kritzcreek/motoko-text-map
A Motoko hashmap that fixes the key type to Text
Last synced: 10 Oct 2024
https://github.com/kritzcreek/purescript-projects
some small projects in purescript
Last synced: 10 Oct 2024
https://github.com/kritzcreek/purescript-lemonbar
A configuration library with prebuilt sections for lemonbar
Last synced: 10 Oct 2024
https://github.com/kritzcreek/motoko-relational-algebra
Experimenting with a simple DB model in Motoko
Last synced: 10 Oct 2024
https://github.com/kritzcreek/open-space-socket
Websocket for devel purposes
Last synced: 10 Oct 2024
https://github.com/kritzcreek/ps_canister
Just an experiment at getting a PureScript frontend into an IC canister
Last synced: 10 Oct 2024
https://github.com/kritzcreek/memo
Nemo never forgets
hacktoberfest hacktoberfest2020 hacktoberfest2021 hacktoberfest2022
Last synced: 10 Oct 2024
https://github.com/kritzcreek/kritzcreek.github.io
https://kritzcreek.github.io/
Last synced: 10 Oct 2024
https://github.com/kritzcreek/jk
An experimental dependency solver for PureScript
Last synced: 10 Oct 2024
https://github.com/kritzcreek/ftpython
Evaluates Facetracking Data from the Kinect
Last synced: 10 Oct 2024
https://github.com/kritzcreek/repro-pscide
Reproduce erroneous psc-ide error with nested type aliases
Last synced: 10 Oct 2024
https://github.com/kritzcreek/kinectftharvester
Collects Facetracking data sent by the Kinect.
Last synced: 10 Oct 2024
https://github.com/kritzcreek/compilerbau-vortrag
Compilerprojekt mit monadischen Kombinatoren
Last synced: 10 Oct 2024
https://github.com/kritzcreek/tree-sitter-nemo
tree-sitter grammar for the Nemo programming language
Last synced: 10 Oct 2024
https://github.com/kritzcreek/mo-hex
Hexadecimal encoding and decoding routines.
Last synced: 10 Oct 2024