agda-mode for neovim

MCP integration for Google Calendar to manage events.

VeritasGraph — open-source Knowledge Graph & GraphRAG framework on GitHub. Build multi-hop reasoning, ontology-aware retrieval, and verifiable attribution over your own data. Nodes, edges, RDF, lin…

Every Code - push frontier AI to it limits. A fork of the Codex CLI with validation, automation, browser integration, multi-agents, theming, and much more. Orchestrate agents from OpenAI, Claude, G…

GNU RAM Disk Synchronization Tool written in bash

Documentation for Cachix service.

easily build most Haskell programs into fully static Linux executables

The reliability of disk images, the flexibility of files

A massively parallel, optimal functional runtime in Rust

A comprehensive rust-based tooling for Simplicity program construction and analysis.

🃏🎮A NFT(ERC721) card game build on Ethereum, Truffle, Ganache and hosting on IPFS.

Spawns lightweight nixos vms in a shell

A Nix repository with all Ruby versions being kept up-to-date automatically

A command-line productivity tool powered by AI large language models like GPT-5, will help you accomplish your tasks faster and more efficiently.

A collection of short notes about Nix, down to what is immediately needed for users.

Easy PureScript (and other tools) with Nix

🔣 Compose Key for Windows

Hash consing for arbitrary Haskell data types

Ceptre model of the board game Pandemic.

Compiling Agda code to readable Haskell

A clean implementation based on AlphaZero for any game in any framework + tutorial + Othello/Gobang/TicTacToe/Connect4 and more

Pure Go implementation of jq

Surveillance Detection Scout: Your Lookout on Autopilot

Command-line YAML, XML, TOML processor - jq wrapper for YAML/XML/TOML documents

Production-ready fullstack but simple mail server (SMTP, IMAP, LDAP, Antispam, Antivirus, etc.) running inside a container.

📘 Trezor address/account balance backend

A pure Haskell implementation of Datalog

Convert Tesla dash cam movie files into one movie

A smart USB drive for Tesla Dashcam - extended storage, auto archive, web viewer