homebrew (macOS) packages for RISC-V toolchain

The seL4 microkernel

The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery 🧑‍🔬

📦 CMake's missing package manager. A small CMake script for setup-free, cross-platform, reproducible dependency management.

A web-based collaborative LaTeX editor

🏆 📚 A list of awesome MkDocs projects and plugins.

C++11/14/17 std::optional with functional-style extensions and reference support

Simulate color blindness by converting RGB hex codes.

Concurrency permutation testing tool for Rust.

Simple shell script to use OpenAI's ChatGPT and DALL-E from the terminal. No Python or JS required.

OpenAssistant is a chat-based assistant that understands tasks, can interact with third-party systems, and retrieve information dynamically to do so.

Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is particularly useful for programs written in C/pthreads. Currently…

🏃 Find the best times to go to the gym

DMTCP: Distributed MultiThreaded CheckPointing

A clean implementation of MuZero and AlphaZero following the AlphaZero General framework. Train and Pit both algorithms against each other, and investigate reliability of learned MuZero MDP models.

Computer opponent for Blokus

Virtual machines for iOS and macOS

😱 Falsehoods Programmers Believe in

A free and strong UCI chess engine

Cross-Platform C++ GUI Library

Formatting technology for Swift source code

Super-project for modularized Boost

A set of cmake modules to assist in building code

Bezier curves and paths in Swift for building vector applications

A Small, Extensible DPOR-based Model Checker for C Programs

The Python programming language

This repository contains high-performance implementations of memset and memcpy in assembly.

SceneKit Advanced RayTracing Rendering Sample App in Swift and Metal (for iOS Devices)

A gdbinit clone for LLDB