Pinned Loading

1. simongog/sdsl-lite simongog/sdsl-lite Public

   Succinct Data Structure Library 2.0

   C++ 2.3k 350

2. Azure/autorest Azure/autorest Public

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

   TypeSpec 4.7k 740

3. vlg_matching vlg_matching Public

   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

   C++ 4 3

4. coq2latex coq2latex Public

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

   C# 29 2

5. ColorfulMind ColorfulMind Public

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

   TypeScript

6. lambada-llc/tree-calculus lambada-llc/tree-calculus Public

   TypeScript 4