A project dedicated to building LLVM toolchain for Arm and AArch64 embedded targets.

A Boulder Dash clone in OCaml

Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on other targets.

SystemVerilog synthesis tool

Cross-platform Text Expander written in Rust

Visual Studio Code extension for Coq

Multi platform setup for Coq, Coq libraries and tools

Openbox virtual desktop running in Docker container

Convert .emlx and .partial.emlx files created by Apple’s Mail.app to .eml

noVNC Display Container for Docker

Apache directory listing theme

The definite Conway's Game of Life implementation in your browser. Features an infinite field & Hashlife

An Algorithm for Compressing Space and Time

This is a JQuery plugin for input tags with auto complete suggestion.

Simple raytracing student project.

OCaml Language Server Protocol implementation

Simple template for midsize OCaml project

Demo of Django Angular Postgres application

Generate badges (name tags) automatically with LaTeX

Co-author commits tool. A cross-platform command-line tool for social coding. Includes co-authors in commits when pair/mob programming.

Mathematical Components compliant Analysis Library

AgensGraph, a transactional graph database based on PostgreSQL

Convert a Google Drive Document to the Markdown format, suitable for publishing.

Converts Trac milestones, tickets and comments into Github issues 2.0 using github api v3

Docker image squashing tool

Finite sets, finite maps, multisets and generic sets

Coq formalization of matrix differentiation