Mauro Bringolf

A bash script to draft a new GitHub release with a automatically generated changelog.

The core OCaml system: compilers, runtime system, base libraries

Haskell interpreted as λ-calculus, in Haskell.

No description provided.

No description provided.

Error-recovering streaming HTML5 and XML parsers

Main public package repository for opam, the source package manager of OCaml.

GitHub Action for the OCaml programming language

OCaml types to Yaml types and back again

A theme for thunderbird based on the nord color scheme

Some leisure experiments inspired by 'Gödel Escher Bach'

Haskell bindings to Microsoft's Z3 API (unofficial).

A fuzzing framework for SMT solvers

A proof checker for a proof calculus of first order logic

Optional static typing for Python 3 and 2 (PEP 484)

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

HTTP server that manages verification requests to different tools from the Viper tool stack.

This repo contains allows you to quickly and easily create a Virtual Machine with a working Pebble SDK install using Vagrant and Virtualbox

3llo - Trello interactive CLI on terminal

Javascript syntax highlighter

WebAssembly specification, reference interpreter, and test suite.

:scissors: An ES6+ aware minifier based on the Babel toolchain (beta)

Hardware description language (HDL) parser, and Hardware simulator.

**Markdown** in <Components/>, <Components/> in **Markdown**

A vim plugin wrapper for prettier

Create React apps with no build configuration.

Pre-evaluate code at build-time

💥 Generate code at build-time

:tropical_fish: Babel is a compiler for writing next generation JavaScript.

Modern CSS framework based on Flexbox