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

A Boulder Dash clone in OCaml

C Intermediate Language

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

Share your terminal as a web application

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

An Algorithm for Compressing Space and Time

Simple Debian Docker images with passwordless SSH access and a regular user with sudo rights

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.

[EOL] 💻 Manage your C14 Online Cold Storage from Command Line

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.

Bootstrap template for Pandoc - Converts markdown files into Twitter Bootstrap styled HTML