Name: Mauro Bringolf
Type: User
Bio: Software engineer interested in software correctness, e.g. verification, compilers, proofs, types, functional programming, semantics, testing. OCaml/Haskell/SMT
Location: Zürich, Switzerland
Mauro Bringolf's Projects
3llo - Trello interactive CLI on terminal
A curated list of awesome AST resources
:tropical_fish: Babel is a compiler for writing next generation JavaScript.
:blue_book: A guided handbook on how to use Babel and how to create plugins for Babel.
💥 Generate code at build-time
Pre-evaluate code at build-time
Modern CSS framework based on Flexbox
Create React apps with no build configuration.
A proof checker for a proof calculus of first order logic
Some leisure experiments inspired by 'Gödel Escher Bach'
A bash script to draft a new GitHub release with a automatically generated changelog.
Prototyping since 1440. Development hub for the editor focus in core.
Haskell bindings to Microsoft's Z3 API (unofficial).
Hardware description language (HDL) parser, and Hardware simulator.
Javascript syntax highlighter
JavaScript implementation of different computer science algorithms.
Haskell interpreted as λ-calculus, in Haskell.
Error-recovering streaming HTML5 and XML parsers
:scissors: An ES6+ aware minifier based on the Babel toolchain (beta)
Optional static typing for Python 3 and 2 (PEP 484)
The core OCaml system: compilers, runtime system, base libraries
Main public package repository for opam, the source package manager of OCaml.
This repo contains allows you to quickly and easily create a Virtual Machine with a working Pebble SDK install using Vagrant and Virtualbox
A starting point for development of a WordPress plugin using PHP Namespaces, adhering to WordPress' own coding standards
Code to generate WordPress plugins from the command line, on the basis of PHP namespaces.
OCaml types to Yaml types and back again
**Markdown** in <Components/>, <Components/> in **Markdown**
GitHub Action for the OCaml programming language