Skip to content


  • Arctic Code Vault Contributor
  • Pro


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

    TypeScript 66.5k 8.8k

  2. Succinct Data Structure Library 2.0

    C++ 1.7k 283

  3. OpenAPI (f.k.a Swagger) Specification code generator. Supports C#, PowerShell, Go, Java, Node.js, TypeScript, Python, Ruby

    TypeScript 3.1k 582

  4. Code and benchmarks for paper "Practical Variable Length Gap Pattern Matching" (SEA 2016, Based on

    C++ 4 3

  5. A command-line tool to generate Latex (inference rules) from inductive coq definitions.

    C# 21 2

  6. A simple video post-processor meant to make red stick out - which might be helpful for colorblind people. Created during jacobsHack2015.


27 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri
Activity overview
Contributed to olydis/lambada, olydis/, wyvernlang/grad-ver and 2 other repositories

Contribution activity

December 1, 2020

olydis has no activity yet for this period.

November 2020

Created 1 commit in 1 repository

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.