Translation tool that converts Gospel Specifications into CFML.

Formal semantics in Agda.

Mathematical concepts related to iteration

Curated list of LaTeX awesomeness

Runtime assertion checking based on Gospel specifications

Context sensitive completion for OCaml in Vim and Emacs

A LaTeX template for academic monographs (e.g., dissertations and thesis). This template serves both beginners and proficient LaTeX users.

A tool-agnostic formal specification language for OCaml.

A fork of the i3 window manager with gaps and some other features. ⚠️ i3-gaps has been merged into i3.

OCaml graph library

OCaml Language Server Protocol implementation

Cross-platform ncurses Spotify client written in Rust, inspired by ncmpc and the likes.

Create book from markdown files. Like Gitbook but implemented in Rust

A list of operating systems and stuff

A curated list of awesome C frameworks, libraries, resources and other shiny things. Inspired by all the other awesome-... projects out there.

Continuing the development of awesome-c list on GitHub

C# Hacking library for making PC game trainers.

Talk to God on up to 64 cores. Final snapshot of the Third Temple.

run HolyC on Linux secularly