A toolkit to generate test cases out of cat models

Parallel sections library for parallel data-structures

CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.

A Simple Unix-like operating system

Touying is a powerful package for creating presentation slides in Typst.

🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧

system call hook for Linux

Tinymist [ˈtaɪni mɪst] is an integrated language service for Typst [taɪpst].

[Deprecated] An early language server for Typst, plus a VS Code extension

Kakoune Language Server Protocol Client

A collection of useful, performant, and threadsafe Go datastructures.

An advanced automated reasoning tool for memory consistency model specifications.

A new markup-based typesetting system that is powerful and easy to learn.

Lock-free data structures for multicore OCaml

A terminal for iOS, with multiple windows

Genode OS Framework

Framework to interpose pthread mutex

writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

simple documentation tool for Chicken Scheme

Official chibi-scheme repository

Rasdaemon is a RAS (Reliability, Availability and Serviceability) logging tool. It records memory errors, using the EDAC tracing events. EDAC is a Linux kernel subsystem with handles detection of E…

A tiling window manager for macOS based on binary space partitioning

Cntlm is an NTLM / NTLM Session Response / NTLMv2 authenticating HTTP proxy intended to help you break free from the chains of Microsoft proprietary world. More info on http://cntlm.sourceforge.net…

The Herd toolsuite to deal with .cat memory models (version 7.xx)

Free, fully-featured server software for the Anki Vector robot.

ANSI and ASCII art to PNG converter in C

Terminal image viewer with native support for iTerm and Kitty

Simple C mock generator with Racket bindings

VSync at OpenHarmony Tutorial, ASPLOS'24

LUFA - the Lightweight USB Framework for AVRs.