Discover kritzcreek/praxisprojekt Open Source project

DEPRECATED - Editor Support for the PureScript programming language

133

psc-ide

Type inference from scratch - Material for my talk at F(by)19

fby19

Quick scaffolding for Halogen's HTML DSL

purescript-emmet

Reactive Programming with PureScript and React

FROST-Frontend

A template for creating Motoko libraries

motoko-library-template

Wasm library for PureScript

motoko-matchers

Motoko

purescript-wasm

An interactive workshop on implementing AlgorithmW in Kotlin

infer_workshop

Simple two-dimensional matrices backed by a flat array

purescript-matrices

Working through Okasaki's "Functional Datastructures" in PureScript

okasaki

https://kritzcreek.github.io/posts/2016-07-05-purescript-electron.html

electron-apps-with-purescript

My self-built emacs configuration

a-whole-new-world

Emacs Lisp

purescript-blessed

[WIP!] PureScript bindings to the blessed library

A small procedural programming language that compiles to Wasm GC

nemo-lang

My playground for building a compiler for an ML-like in Rust

siml

PureScript client for psc-ide

purescript-psc-ide

A Beat 'em Up in PureScript

purslasher

Simple autocomplete component for Halogen

purescript-halogen-autocomplete

Simple Regexes for Motoko

motoko-regex

squirrelzon

A Webshop with a twist

Vorlesungsmaterial fuer Programmiersprachen und Compilerbau im SS2021

PuC-SS21

psc-gui

dotfiles

ps-pretty

motoko-pretty

A pretty printing library for Motoko

motoko-json

Backend for the (F)unctional (R)eactive (O)pen (S)pace (T)imetable

FROST-Backend

Code und Slides fuer die Vorlesung "Programmiersprachen und Compilerbau" and der TH Koeln im SS22

PuC-SS22

Implements No-Brainer CPS conversion - http://www.ccs.neu.edu/home/shivers/papers/nobrainer-cps.pdf

no-brainer-cps

WIP interpreter for PureScript

purpl

A Fruit Ninja Port into the third Dimension.

KinectNinja

Processing

clippy-api

FROST-Thermite

halogen-history-table

The code for my talk at MinskJS

minskjs-graphics

ic101

Experimenting with the LSP for PureScript

kittenmix

ps-benchmarks

chromacannon

purescript-dynamic-buffer

Growing Buffers

Communicating with PureScript's IDE server from PureScript

purescript-purs-ide

A package registry for PureScript

purs-archive

gol-hs

A minimal HTML library for Motoko

motoko-html

purescript-webauthn

morgana

Materialien für das Programmiersprachen und Compilerbau WPF im WS2020

PuC-WS20

An experimental dependency solver for PureScript

Just an experiment at getting a PureScript frontend into an IC canister

ps_canister

yesod-rest-api

SLAMPython

diagrams-experiments

blog-website

MaraML

purescript-lemonbar

A configuration library with prebuilt sections for lemonbar

Experimenting with a simple DB model in Motoko

motoko-relational-algebra

ai-projekt

TeX

lc-purs-recursion-schemes

Websocket for devel purposes

open-space-socket

aoc-2020

affjax-example

Dhall

KickerApp

Die Killer Kicker App

my_project_euler

compiling-with-continuations

dickminer-frontend

Programmiersprachen und Compilerbau SS23

PuC-SS23

Evaluates Facetracking Data from the Kinect

FTpython

memo

FROST-Mobile

dAppreciate

beforeunload-example

spacemacs-conf

The Spacemacs configuration I'm currently using

Emacs Lisp

stlc-purs

some small projects in purescript

Purescript-Projects

https://kritzcreek.github.io/

kRITZCREEK.github.io

HTML

motoko-text-map

A Motoko hashmap that fixes the key type to Text