Discover olydis/vlg_matching Open Source project

Stars
4
Rank 3,304,323 (Top 66 %)
Language
C++
License
Other
Created about 9 years ago
Updated over 7 years ago

olydis

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

node-in-browser

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

TypeScript

132

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.

Coq

GradVerThesis

Master Thesis "Gradual Program Verification with Implicit Dynamic Frames"

TeX

sdsl-lite-js

JavaScript port of Simon Gog's Succinct Data Structure Library

LLVM

GradVer

proofs and prototype for Master thesis - used Coq 8.5pl1

Coq

dotnet-2.0.0

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

JavaScript

autorest-extension-base

Library for easily creating AutoRest extensions

TypeScript

lambada

A lightweight and precise approach to express and perform computation.

Haskell

olydis/vlg_matching

olydis

Reviews

Repository Details

More Repositories