olydis
I make developer tools suck less. Interests: PL design, formal verification, automatic program repair, Physics, education
New York City, USA
Pinned Repositories
autorest
OpenAPI (f.k.a Swagger) Specification code generator. Supports C#, PowerShell, Go, Java, Node.js, TypeScript, Python
TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
ColorfulMind
A simple video post-processor meant to make red stick out - which might be helpful for colorblind people. Created during jacobsHack2015.
coq2latex
A command-line tool to generate Latex (inference rules) from inductive coq definitions.
GradVerArtifacts
Proofs for properties of a gradually verified language based on a statically verified one.
node
Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:
node-in-browser
Attempt to bootstrap Node.js in the browser in order to run Node apps or npm libraries unmodified.
OpenRCT2
An open source re-implementation of RollerCoaster Tycoon 2 🎢
vlg_matching
Code and benchmarks for paper "Practical Variable Length Gap Pattern Matching" (SEA 2016, http://link.springer.com/chapter/10.1007/978-3-319-38851-9_1). Based on https://github.com/simongog/sdsl-lite
sdsl-lite
Succinct Data Structure Library 2.0
olydis's Repositories
olydis/node-in-browser
Attempt to bootstrap Node.js in the browser in order to run Node apps or npm libraries unmodified.
olydis/OpenRCT2
An open source re-implementation of RollerCoaster Tycoon 2 🎢
olydis/autorest
Swagger (OpenAPI) Specification code generator featuring C# and Razor templates. Supports C#, Java, Node.js, TypeScript, Python and Ruby.
olydis/GradVerThesis
Master Thesis "Gradual Program Verification with Implicit Dynamic Frames"
olydis/sdsl-lite-js
JavaScript port of Simon Gog's Succinct Data Structure Library
olydis/AudioWar
An interactive HTML5 game using your whistling as input. Each Level corresponds to a certain song, so you will be most successful (and get a higher score) if you master the song.
olydis/autorest.incubator
Incubator project for new AutoRest extensions
olydis/autorest.java
Extension for AutoRest (https://github.com/Azure/autorest) that generates Java code
olydis/autorest.nodejs
Extension for AutoRest (https://github.com/Azure/autorest) that generates JavaScript code
olydis/autorest.testserver
Local server offering a variety of APIs that can be used to test code generated by AutoRest (https://github.com/Azure/autorest)
olydis/fractional-int
playground for fractional integration
olydis/grad-ver
Gradual verification
olydis/grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
olydis/hack-langspec
The official Hack Language specification.
olydis/hhvm
A virtual machine for executing programs written in Hack.
olydis/log-stdio
Little NodeJS tool that logs stdin and stdout of an arbitrary command in order to debug its communication.
olydis/minimal-jekyll-template
olydis/nearley
📜🔜🌲 Simple, fast, powerful parser toolkit for JavaScript.
olydis/node-printf
Write formatted data (complete implementation of printf and sprintf) in Node.js
olydis/openapi3-normalizer
olydis/prepack
Prepack is a partial evaluator for JavaScript. Prepack rewrites a JavaScript bundle, resulting in JavaScript code that executes more efficiently.
olydis/rollup
Next-generation ES6 module bundler
olydis/sdsl-lite
Succinct Data Structure Library 2.0
olydis/source-map-visualization
Just a simple hacky visualisation of SourceMaps
olydis/stern-brocot-tree
A Clojure implementation of exact arithmetics for computable numbers on the Stern-Brocot tree.
olydis/test
olydis/translate-strings
offer translation for tagged templates in TypeScript
olydis/tree-calculus
Proofs in Coq for the book Reflective Programs in Tree Calculus
olydis/typescript-book
:books: The definitive guide to TypeScript and possibly the best TypeScript book :book:. Free and Open Source 🌹
olydis/typescript-server-client-template