Johannes Bader (@olydis)
github

olydis

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    195
  • Global Rank 125,690 (Top 5 %)
  • Followers 89
  • Following 86
  • Registered about 10 years ago
  • Most used languages
    TypeScript
         20.0 %
    Coq     20.0 %
    Haskell
         10.0 %
    TeX
         10.0 %
    C++
         10.0 %
    C#
         10.0 %
    LLVM     10.0 %
    JavaScript
         10.0 %
  • Location 🇺🇸 United States
  • Country Total Rank 29,449
  • Country Ranking
    LLVM     51
    Coq     106
    TypeScript
         2,219
    Haskell
         2,689
    C#
         3,616
    TeX
         3,799

Top repositories

1

node-in-browser

Attempt to bootstrap Node.js in the browser in order to run Node apps or npm libraries unmodified.
TypeScript
132
star
2

coq2latex

A command-line tool to generate Latex (inference rules) from inductive coq definitions.
C#
28
star
3

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
C++
4
star
4

GradVerArtifacts

Proofs for properties of a gradually verified language based on a statically verified one.
Coq
3
star
5

GradVerThesis

Master Thesis "Gradual Program Verification with Implicit Dynamic Frames"
TeX
2
star
6

sdsl-lite-js

JavaScript port of Simon Gog's Succinct Data Structure Library
LLVM
2
star
7

GradVer

proofs and prototype for Master thesis - used Coq 8.5pl1
Coq
2
star
8

dotnet-2.0.0

Meta-package detecting and if necessary acquiring the dotnet runtime appropriate for given platform.
JavaScript
1
star
9

autorest-extension-base

Library for easily creating AutoRest extensions
TypeScript
1
star
10

lambada

A lightweight and precise approach to express and perform computation.
Haskell
1
star