https://wiki.hyperledger.org/display/burrow

The skinny framework for creating slide deck from Markdown

Marp for VS Code: Create slide deck written in Marp Markdown on VS Code

The core of Marp converter

A CLI interface for Marp and Marpit based converters

DNS Firewall Enforcer

Online hash checker for Virustotal and other services

a safe, concurrent, practical language

Static Type Checker for Python

Lightbeam has moved and now lives in the Wasmtime repository!

A lightweight WebAssembly runtime that is fast, secure, and standards-compliant

Cranelift code generator

High fidelity benchmark runner

Python Framework to analyse Git repositories

A Cython alternative to Google's Python Protobuf library

An-source C library developed and used at AppNexus.

Java port of Python's famous argparse command-line argument parser.

Zygo is a Lisp interpreter written in 100% Go. Central use case: dynamically compose Go struct trees in a zygo script, then invoke compiled Go functions on those trees. Makes Go reflection easy.

The most widely used Python to C compiler

A minimalistic and high-performance SAT solver

A Rust language and style specification for the LaTeX-package listings

TypeScript Compiler API wrapper for static analysis and programmatic code changes.

Automatically discover and add missing types in your TypeScript code

A modern runtime for JavaScript and TypeScript.

Course syllabus for CSCI 40500-01 and CSCI 77100-01, Fall 2018

A python flask implementation of an SSO dashboard. OIDC for authentication and message bus for alert pipelines.

Java bytecode to WebAssembly compiler

Compiles Java bytecode to JavaScript, WebAssembly and C

A TypeScript-like language for WebAssembly.

Optimizer and compiler/toolchain library for WebAssembly