papers of Per Martin Löf

Like jq, but for HTML.

Flexible toolkit for making desktop shells with QtQuick, for Wayland and X11

Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples

PixiEditor is a Universal Editor for all your 2D needs

Multi-Purpose Launcher with a lot of features. Highly Customizable and fast.

Implementation of an Asynchronous Single-Threaded Redis Server

OpenTUI is a library for building terminal user interfaces (TUIs)

AeroSpace is an i3-like tiling window manager for macOS

Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.

Create ctags/etags for a cargo project

Fil-C: completely compatible memory safety for C and C++

A string type for Rust that is not required to be valid UTF-8.

Automatic testing of Haskell programs.

It is said that, Ilya Sutskever gave John Carmack this reading list of ~ 30 research papers on deep learning.

A Rust compiler front-end for IDEs

PlayStation 4 emulator for Windows, Linux and macOS written in C++

Run Windows apps such as Microsoft Office/Adobe in Linux (Ubuntu/Fedora) and GNOME/KDE as if they were a part of the native OS, including Nautilus integration. Hard fork of https://github.com/Fmst…

Tidy, feature-complete Web framework

Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness,…

Cranelift based backend for rustc

GDB TUI Dashboard for the understanding of vast knowledge

Record and Replay Framework

RenderDoc is a stand-alone graphics debugging tool.

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

A strongly-typed language that compiles to JavaScript

ReScript bindings for React Native

ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.