Johannes Bader (olydis)

olydis

Geek Repo

Location:New York City, USA

Home Page:https://johannes-bader.com/

Github PK Tool:Github PK Tool

Johannes Bader's repositories

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 ๐ŸŽข

Language:CLicense:GPL-3.0Stargazers:12Issues:1Issues:0

autorest

Swagger (OpenAPI) Specification code generator featuring C# and Razor templates. Supports C#, Java, Node.js, TypeScript, Python and Ruby.

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

GradVerThesis

Master Thesis "Gradual Program Verification with Implicit Dynamic Frames"

Language:TeXStargazers:2Issues:2Issues:0

sdsl-lite-js

JavaScript port of Simon Gog's Succinct Data Structure Library

Language:LLVMStargazers:2Issues:0Issues:0

autorest.incubator

Incubator project for new AutoRest extensions

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

autorest.java

Extension for AutoRest (https://github.com/Azure/autorest) that generates Java code

Language:JavaLicense:MITStargazers:0Issues:0Issues:0

autorest.nodejs

Extension for AutoRest (https://github.com/Azure/autorest) that generates JavaScript code

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

autorest.testserver

Local server offering a variety of APIs that can be used to test code generated by AutoRest (https://github.com/Azure/autorest)

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0
Language:TypeScriptStargazers:0Issues:0Issues:0

fractional-int

playground for fractional integration

Language:HTMLStargazers:0Issues:1Issues:0

grad-ver

Gradual verification

Language:OCamlLicense:MITStargazers:0Issues:1Issues:0

grammars-v4

Grammars written for ANTLR v4; expectation that the grammars are free of actions.

Language:ANTLRStargazers:0Issues:1Issues:0

hack-langspec

The official Hack Language specification.

Language:HackLicense:NOASSERTIONStargazers:0Issues:0Issues:0

hhvm

A virtual machine for executing programs written in Hack.

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

log-stdio

Little NodeJS tool that logs stdin and stdout of an arbitrary command in order to debug its communication.

Language:TypeScriptLicense:MITStargazers:0Issues:1Issues:0
Language:RubyStargazers:0Issues:0Issues:0

nearley

๐Ÿ“œ๐Ÿ”œ๐ŸŒฒ Simple, fast, powerful parser toolkit for JavaScript.

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

node-printf

Write formatted data (complete implementation of printf and sprintf) in Node.js

Language:JavaScriptLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0
Language:TypeScriptStargazers:0Issues:2Issues:0

prepack

Prepack is a partial evaluator for JavaScript. Prepack rewrites a JavaScript bundle, resulting in JavaScript code that executes more efficiently.

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:1Issues:0

rollup

Next-generation ES6 module bundler

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

sdsl-lite

Succinct Data Structure Library 2.0

Language:C++License:NOASSERTIONStargazers:0Issues:3Issues:0

source-map-visualization

Just a simple hacky visualisation of SourceMaps

Language:TypeScriptStargazers:0Issues:0Issues:0

stern-brocot-tree

A Clojure implementation of exact arithmetics for computable numbers on the Stern-Brocot tree.

Stargazers:0Issues:0Issues:0
Language:HTMLStargazers:0Issues:1Issues:0

translate-strings

offer translation for tagged templates in TypeScript

License:MITStargazers:0Issues:0Issues:0

tree-calculus

Proofs in Coq for the book Reflective Programs in Tree Calculus

License:MITStargazers:0Issues:0Issues:0

typescript-book

:books: The definitive guide to TypeScript and possibly the best TypeScript book :book:. Free and Open Source ๐ŸŒน

Language:TypeScriptLicense:NOASSERTIONStargazers:0Issues:1Issues:0
Language:TypeScriptStargazers:0Issues:1Issues:0