QUIC, a multiplexed stream transport over UDP

A simple LLM client for Emacs

An Open Source Machine Learning Framework for Everyone

Model components of the Llama Stack APIs

libp2p implementation in Go

Cross platform GUI toolkit in Go inspired by Material Design

A Windows GUI toolkit for the Go Programming Language

A command-line installer for Windows.

An emacs starterkit for scientists and engineers

The official Meta Llama 3 GitHub site

Propositional Sudoku Solver Based on Z3Prover

Linux tool to show progress for cp, mv, dd, ... (formerly known as cv)

A go rewrite of PPPwn

A Minecraft Bedrock Edition Server Software

Use your own Minecraft server with your Xbox or PS4 and play with friends!

Feature-rich, highly customizable third-party server software for Minecraft: Bedrock Edition.

Cloudburst Nukkit - Nuclear-Powered Minecraft: Bedrock Edition Server Software

Native Spotify client for the GNOME desktop

Go port of librespot, the Open Source Spotify client library

Open Source Spotify client library

🔥 An incomprehensible hellscape of spaghetti code.

A Lisp implementation in Go

CIRCL: Cloudflare Interoperable Reusable Cryptographic Library

A post-quantum cryptographic signature scheme

LLVM to Common Lisp transpiler.

An operating system written in Common Lisp

Rust bindings for the Z3 solver.

The Z3 Theorem Prover

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.