Christoph Hegemann (kritzcreek)

kritzcreek

Geek Repo

Company:@Sourcegraph

Location:Germany

Home Page:https://kritzcreek.github.io/

Twitter:@kritzcreek

Github PK Tool:Github PK Tool


Organizations
purescript

Christoph Hegemann's repositories

pscid

A lightweight, fast and unintrusive PureScript file-watcher

Language:PureScriptLicense:LGPL-3.0Stargazers:133Issues:7Issues:36

purescript-emmet

Quick scaffolding for Halogen's HTML DSL

Language:PureScriptLicense:LGPL-3.0Stargazers:36Issues:3Issues:1

motoko-library-template

A template for creating Motoko libraries

Language:ModelicaLicense:Apache-2.0Stargazers:30Issues:4Issues:1
Language:MotokoLicense:Apache-2.0Stargazers:27Issues:4Issues:4

purescript-wasm

Wasm library for PureScript

a-whole-new-world

My self-built emacs configuration

Language:Emacs LispStargazers:11Issues:3Issues:0

purescript-psc-ide

PureScript client for psc-ide

Language:PureScriptLicense:MITStargazers:9Issues:5Issues:12

siml

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

Language:RustLicense:Apache-2.0Stargazers:8Issues:6Issues:0

nemo-lang

A small procedural programming language that compiles to Wasm 2.0

Language:CLicense:MITStargazers:6Issues:2Issues:0

PuC-SS21

Vorlesungsmaterial fuer Programmiersprachen und Compilerbau im SS2021

Language:KotlinStargazers:6Issues:7Issues:0

PuC-SS22

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

Language:KotlinStargazers:4Issues:7Issues:0
Language:PureScriptLicense:MITStargazers:3Issues:3Issues:0
Language:PureScriptLicense:MPL-2.0Stargazers:3Issues:3Issues:0

motoko-html

A minimal HTML library for Motoko

Language:ModelicaLicense:Apache-2.0Stargazers:2Issues:4Issues:0
Language:PureScriptLicense:Apache-2.0Stargazers:2Issues:3Issues:0
Language:DhallLicense:MITStargazers:1Issues:3Issues:0
Language:DhallLicense:MITStargazers:1Issues:3Issues:0
Language:RustStargazers:1Issues:5Issues:0

memo

Nemo never forgets

Language:KotlinStargazers:1Issues:4Issues:0

package-sets

A curated list of PureScript packages

Language:ShellLicense:BSD-3-ClauseStargazers:1Issues:3Issues:0

ps_canister

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

Language:JavaScriptStargazers:1Issues:3Issues:0

PuC-SS23

Programmiersprachen und Compilerbau SS23

Language:KotlinStargazers:1Issues:2Issues:0

agent-js

A collection of libraries and tools for building software around the Internet Computer, in JavaScript.

Language:TypeScriptLicense:Apache-2.0Stargazers:0Issues:2Issues:0

psc-ide-emacs

Emacs integration for PureScript's psc-ide tool.

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:3Issues:0

purescript

A small strongly typed language that compiles to Javascript

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:3Issues:0

purescript-dodo-printer

An adequate printer.

Language:PureScriptLicense:MITStargazers:0Issues:1Issues:0
Language:PureScriptLicense:Apache-2.0Stargazers:0Issues:2Issues:0

purescript-suggest

Apply PureScript compiler suggestions to fix warnings

Language:PureScriptLicense:MITStargazers:0Issues:3Issues:0

vessel-package-set

The official community package-set for vessel

Language:DhallLicense:Apache-2.0Stargazers:0Issues:2Issues:0

wasm-tools

Low level tooling for WebAssembly in Rust

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0