Service to support compact prompts returning model content

A Rust-based ASPIC+ argumentation engine oriented as a modular pipeline

RustBoyAdvance-NG is a Nintendo™ Game Boy Advance emulator and debugger, written in the rust programming language.

Your personal intelligence agent. Watches the world from multiple data sources and pings you when something changes.

Library for working with Graph Neural Network methods in the field of Abstract Argumentation

a simple Scala CLI parsing library

High performance self-hosted photo and video management solution.

Zsh plugin to convert natural language prompts to terminal commands with GPT-4

A Matrix client for Vim addicts

An API specification of the website https://www.floatplane.com

Project for automatically organizing and downloading Floatplane videos for plex.

Personal Website & Blog Theme for Hugo

A modular 3D printable flip dot display

MacOS inside a Docker container.

A cross-platform GUI library for Rust, inspired by Elm

A natural deduction theorem prover using SAT solvers

A SQL database in Rust: SQLite-compatible, now also speaking Postgres (experimental). The LLVM of databases.

Genetic algorithm framework for identifying strong lottery ticket networks in randomly initialized neural networks — features YAML-based configuration, works with any model architecture, and is eas…

Local UI to run and train LLMs and diffusion models, including Qwen3.8, Kimi K3, MiniMax-H3, Gemma 4, DeepSeek-V4, FLUX and more.

Reproduce R1 Zero on Logic Puzzle

The core implementation of the Acorn language.

Acorn's standard library of mathematical facts.

Minimal reproduction of DeepSeek R1-Zero

Large language model and dataset for natural language to first-order logic translation

A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.