maurobringolf

github-release

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

lambda-calculus

Haskell interpreted as λ-calculus, in Haskell.

mnd

thunderbird-nord-theme

A theme for thunderbird based on the nord color scheme

GEB

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

FOL-proof-checker

A proof checker for a proof calculus of first order logic

3llo

3llo - Trello interactive CLI on terminal

babel

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

babel-plugin-codegen

💥 Generate code at build-time

babel-plugin-preval

Pre-evaluate code at build-time

bulma

Modern CSS framework based on Flexbox

create-react-app

Create React apps with no build configuration.

haskell-z3

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

hdl-js

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

javascript-algorithms

JavaScript implementation of different computer science algorithms.

markup.ml

Error-recovering streaming HTML5 and XML parsers

maurobringolf

minify

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

mypy

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

ocaml

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

opam-repository

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

pebble-timer

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

ppx_deriving_yaml

OCaml types to Yaml types and back again

react-markings

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

setup-ocaml

GitHub Action for the OCaml programming language

spec

WebAssembly specification, reference interpreter, and test suite.

TypeScript

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

vim-prettier

A vim plugin wrapper for prettier

viperserver

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

yinyang

A fuzzing framework for SMT solvers