Lua parser for the djot light markup language

minimal terminal emulator for wayland

Compiler for the Gren programming language

The original Edinburgh LCF.

Attempt at creating a midlevel rendering library using the refactored GLAbstraction

"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory

Bedrock Bit Vector Library

RISC-V Specification in Coq

HTTP Library for Lua. Supports HTTP(S) 1.0, 1.1 and 2.0; client and server.

WebSocket server for Ponylang🐴

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

The Ott tool for writing definitions of programming languages and calculi

An automatic theorem prover for first order logic with equality

WIP fork of musl that adds RISCV support. Currently implemented: floating point primitives, 64/32 bit support, support for systems without atomics, and soft-float support. Only static linking curre…

Mirror of https://review.coreboot.org/coreboot.git. We don't handle Pull Requests.

Debian's w3m: WWW browsable pager

A multilingual input method framework

Official chibi-scheme repository

A vi-like editor based on Plan 9's structural regular expressions

The MLton repository

The s6 supervision suite.

A device-file manager for *nix

Repository for eudev development

RISC-V Opcodes