Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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/purescript-wasm

Wasm library for PureScript

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/purslasher

A Beat 'em Up in PureScript

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-regex

Simple Regexes for Motoko

Last synced: 10 Oct 2024

https://github.com/kritzcreek/squirrelzon

A Webshop with a twist

Last synced: 10 Oct 2024

https://github.com/kritzcreek/psc-gui

Last synced: 10 Oct 2024

https://github.com/kritzcreek/dotfiles

Home sweet home

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/chromacannon

POW COLORS!

Last synced: 10 Oct 2024

https://github.com/kritzcreek/purpl

WIP interpreter for PureScript

Last synced: 10 Oct 2024

https://github.com/kritzcreek/ic101

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/purescript-dynamic-buffer

Growing Buffers

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/gol-hs

Last synced: 10 Oct 2024

https://github.com/kritzcreek/morgana

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/kickerapp

Die Killer Kicker App

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/kritzcreek.github.io

https://kritzcreek.github.io/

Last synced: 10 Oct 2024

https://github.com/kritzcreek/maraml

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/aoc-2020

Last synced: 10 Oct 2024

https://github.com/kritzcreek/conway-purescript

The infamous Game of Life

Last synced: 10 Oct 2024

https://github.com/kritzcreek/ftkinect

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/hop

Tooling for working with SCIP

Last synced: 10 Oct 2024

https://github.com/kritzcreek/dockerconfig-ng

Dockerconfig done right

docker purescript smug

Last synced: 10 Oct 2024

https://github.com/kritzcreek/wasm_exp

Last synced: 10 Oct 2024

https://github.com/kritzcreek/compilerbau-vortrag

Compilerprojekt mit monadischen Kombinatoren

Last synced: 10 Oct 2024

https://github.com/kritzcreek/mo-list

Just an experiment

Last synced: 10 Oct 2024

https://github.com/kritzcreek/indoor-nav

Indoor Navigation in der FH

Last synced: 10 Oct 2024

https://github.com/kritzcreek/mo-leftpad

Most important library out there

Last synced: 10 Oct 2024

https://github.com/kritzcreek/mo-option

Just an experiment

Last synced: 10 Oct 2024

https://github.com/kritzcreek/lambda3

Next-Next-Level

hacktoberfest

Last synced: 10 Oct 2024

https://github.com/kritzcreek/wallocate

Experimenting with Wasm allocators

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