Pierre Krafft (Zalastax)

Zalastax

Geek Repo

Location:Gothenburg, Sweden

Home Page:http://zalastax.github.io/

Github PK Tool:Github PK Tool


Organizations
majesto-games
p5-types
processing

Pierre Krafft's repositories

singly-typed-actors

Source code for my Master's Thesis

Language:TeXLicense:NOASSERTIONStargazers:3Issues:3Issues:0

vscode

Visual Studio Code

Language:TypeScriptLicense:NOASSERTIONStargazers:1Issues:5Issues:2

adventofcode2017

adventofcode 2017 in Agda

Language:AgdaLicense:MITStargazers:0Issues:3Issues:0

agda

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0
Language:ElixirStargazers:0Issues:1Issues:0
Language:C++Stargazers:0Issues:2Issues:0

GildedRose-Refactoring-Kata

Starting code for the GildedRose Refactoring Kata in many programming languages.

Language:JavaScriptLicense:MITStargazers:0Issues:2Issues:0
Language:ErlangLicense:MITStargazers:0Issues:2Issues:0

hue-bridge-model

Philips Hue Bridge REST API data model. A TypeScript/JavaScript library for the data objects provided over the API. Used by node-hue-api.

Language:TypeScriptStargazers:0Issues:1Issues:0
Language:TypeScriptLicense:MITStargazers:0Issues:2Issues:0

Orca

Esoteric Programming Language

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0

otp

Erlang/OTP

Language:ErlangLicense:Apache-2.0Stargazers:0Issues:1Issues:0

p5.js

p5.js is a JS client-side library for creating graphic and interactive experiences, based on the core principles of Processing. http://twitter.com/p5xjs —

Language:JavaScriptLicense:LGPL-2.1Stargazers:0Issues:0Issues:0

p5.js-sound

p5.sound brings the Processing approach to Web Audio and p5.js. Demos:

Language:JavaScriptLicense:MITStargazers:0Issues:2Issues:0

p5.js-website

Rebuild of the p5.js website using Node.js, Grunt, YAML and Assemble

Language:JavaScriptLicense:MITStargazers:0Issues:2Issues:0

Rainbow-Code

A repo for code and captions for YouTube video tutorials. . .

Language:JavaScriptStargazers:0Issues:2Issues:0

ranch

Socket acceptor pool for TCP protocols.

Language:ErlangLicense:ISCStargazers:0Issues:1Issues:0

rebar3_format

Erlang Formatter for Rebar3

Language:ErlangLicense:MITStargazers:0Issues:1Issues:0

relx

Sane, simple release creation for Erlang

Language:ErlangLicense:Apache-2.0Stargazers:0Issues:1Issues:0

rollup-plugin-hypothetical

gives Rollup an imaginary file system, e.g. for testing other plugins

Language:JavaScriptLicense:MITStargazers:0Issues:2Issues:0
Language:ElixirStargazers:0Issues:1Issues:0

SuperDirt

Tidal Audio Engine

Language:SuperColliderLicense:GPL-2.0Stargazers:0Issues:0Issues:0

Tidal

Pattern language

Language:C++License:GPL-3.0Stargazers:0Issues:1Issues:0
Language:PowerShellStargazers:0Issues:0Issues:0
Language:JavaScriptLicense:GPL-3.0Stargazers:0Issues:0Issues:0

tsd-jsdoc

Compiles JSDoc annotated JavaScript into a Typescript Definition file (.tsd)

Language:TypeScriptLicense:MITStargazers:0Issues:2Issues:0

TypeScript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

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

uAssets

Resources for uBlock Origin, uMatrix: static filter lists, ready-to-use rulesets, etc.

License:GPL-3.0Stargazers:0Issues:2Issues:0

vscode-tidalcycles

Support for TidalCycles in VSCode

Language:TypeScriptLicense:GPL-3.0Stargazers:0Issues:1Issues:0

wsl2-dns-fix-config

One-liner Shell script to setup your WSL to use Google DNS.

Language:ShellLicense:MITStargazers:0Issues:0Issues:0