pieter-bos
Scientific Programmer with the VerCors project // Interested in Software Correctness, Formal Methods, Compilers and Language Design
University of TwenteEnschede, Netherlands
pieter-bos's Stars
ripienaar/free-for-dev
A list of SaaS, PaaS and IaaS offerings that have free tiers of interest to devops and infradev
meteor/meteor
Meteor, the JavaScript App Platform
0xAX/linux-insides
A little bit about a linux kernel
MagicMirrorOrg/MagicMirror
MagicMirror² is an open source modular smart mirror platform. With a growing list of installable modules, the MagicMirror² allows you to convert your hallway or bathroom mirror into your personal assistant.
KaTeX/KaTeX
Fast math typesetting for the web.
reddit-archive/reddit
historical code from reddit.com
overleaf/overleaf
A web-based collaborative LaTeX editor
karpathy/char-rnn
Multi-layer Recurrent Neural Networks (LSTM, GRU, RNN) for character-level language models in Torch
WebAssembly/design
WebAssembly Design Documents
xoreaxeaxeax/movfuscator
The single instruction C compiler
PyAV-Org/PyAV
Pythonic bindings for FFmpeg's libraries.
mafintosh/torrent-mount
Mount a torrent (or magnet link) as a filesystem in real time using torrent-stream and fuse. AKA MAD SCIENCE!
unconed/CSS3D.js
CSS 3D renderer for Three.js.
jloutsenhizer/CR-Cast
Chromecast Emulator for Google Chrome
reddit-archive/reddit-i18n
reddit's translation files - USE CROWDIN TO SUBMIT TRANSLATIONS. Direct pull requests to this repository will, generally, be rejected.
janpaul123/jsdares
Learn and explore JavaScript, and create your own dares!
Medo42/Gmk-Splitter
GmkSplitter is a tool which can convert Game Maker .gmk and .gm81 files into a source control-friendly directory, which contains the resources and scripts of the game as separate files. It can also reassemble this directory back into a new .gmk or .gm81 file. Binary downloads can be found in the latest release on Github, linked below.
anszom/stm8flash
stm8flash with support for the SPI-to-SWIM hack
martijnbastiaan/sprockell
Simple processor in Haskell
DannyArends/HDDspeed
HDD speed testing utility
DannyArends/3Dto2DApplet
Java project to create an applet/awt interface to render 3D gfx and 2D gui's
pieter-bos/Tcp-Test
Tests a tcp server or client by connecting or listening in a nice GUI.
pieter-bos/adhoc-chat
pieter-bos/3Dto2DApplet
3Dto2DApplet
pieter-bos/Gmk-Splitter
Tool for splitting Game Maker .gmk files into a tree of xml and resource files and to reassemble this tree into a new .gmk file
pieter-bos/HDDspeed
HDD speed testing utility
pieter-bos/Hello-World
Hello World!
pieter-bos/reddit
the code that powers reddit.com
pieter-bos/reddit-i18n
reddit's translation files