Pinned Repositories
painlessjson
D library for converting any custom types to and from JSON the painless way.
p5.ts
colornamer
openschedule
redux-action-translator
Translate dispatched actions to other actions
redux-typescript-module
rxjs-marble-testing
singly-typed-actors
Source code for my Master's Thesis
visualize_random
Visualizes Pseudo Random Number Generators using Strange attractors. Based on http://lcamtuf.coredump.cx/oldtcp/tcpseq.html
Zalastax's Repositories
Zalastax/singly-typed-actors
Source code for my Master's Thesis
Zalastax/vscode
Visual Studio Code
Zalastax/adventofcode2017
adventofcode 2017 in Agda
Zalastax/agda
Agda is a dependently typed programming language / interactive theorem prover.
Zalastax/coderunner-supervisor
Zalastax/ghc-bug-20918
Zalastax/GildedRose-Refactoring-Kata
Starting code for the GildedRose Refactoring Kata in many programming languages.
Zalastax/Gradualizer
Zalastax/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.
Zalastax/hue-rules-manager
Zalastax/Orca
Esoteric Programming Language
Zalastax/otp
Erlang/OTP
Zalastax/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 —
Zalastax/p5.js-sound
p5.sound brings the Processing approach to Web Audio and p5.js. Demos:
Zalastax/p5.js-website
Rebuild of the p5.js website using Node.js, Grunt, YAML and Assemble
Zalastax/Rainbow-Code
A repo for code and captions for YouTube video tutorials. . .
Zalastax/ranch
Socket acceptor pool for TCP protocols.
Zalastax/rebar3_format
Erlang Formatter for Rebar3
Zalastax/relx
Sane, simple release creation for Erlang
Zalastax/rollup-plugin-hypothetical
gives Rollup an imaginary file system, e.g. for testing other plugins
Zalastax/server
Zalastax/SuperDirt
Tidal Audio Engine
Zalastax/Tidal
Pattern language
Zalastax/tidal-chocolatey
Zalastax/tidal-doc
Zalastax/tsd-jsdoc
Compiles JSDoc annotated JavaScript into a Typescript Definition file (.tsd)
Zalastax/TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
Zalastax/uAssets
Resources for uBlock Origin, uMatrix: static filter lists, ready-to-use rulesets, etc.
Zalastax/vscode-tidalcycles
Support for TidalCycles in VSCode
Zalastax/wsl2-dns-fix-config
One-liner Shell script to setup your WSL to use Google DNS.