- philadelphia, pa
- @gnidan
Stars
A portable and robust options class for the Playdate Lua SDK
Tools for publishing transcripts for Claude Code sessions
Lua require reimplemented for the Playdate SDK
Graph-oriented live coding language and music/audio DSP library written in Rust
A Love2D game around the theme "etiquette", with PlayDate constraints
AirPods liberated from Apple's ecosystem.
matematysek / CZIS
Forked from EmperorJake/AXISAddon for OpenTTD game
A local MCP server for interacting with the HLedger cli
Simple, independently audited, zero-dependency TypeScript implementation of Shamir's Secret Sharing algorithm
llm sampler that only allows words that are in the bible
Web based transaction debugger and simulator for the EVM. Open source and self-hostable.
An ultra-high performance and flexible EVM. Written in zig
A powerful coding agent toolkit providing semantic retrieval and editing capabilities (MCP server & other integrations)
A tree-sitter grammer for the hledger format
The ultimate RAG for your monorepo. Query, understand, and edit multi-language codebases with the power of AI and knowledge graphs
This AI fact-checking system, built with LangGraph, dissects text into verifiable claims, cross-referencing them with real-world evidence via web searches. It then generates detailed accuracy repor…
Terminal-first Ethereum wallet for people who read the docs. No hand-holding, just raw transaction power.
Minimal library for Ethereum transactions, addresses and smart contracts.
SearXNG is a free internet metasearch engine which aggregates results from various search services and databases. Users are neither tracked nor profiled.
Easily build AI systems with Evals, RAG, Agents, fine-tuning, synthetic data, and more.
I made my AI think harder by making it argue with itself repeatedly. It works stupidly well.
MCP server to interact with LogSeq via its Local HTTP API - enabling AI assistants like Claude to seamlessly read, write, and manage your LogSeq graph.
Modularized faucet for EVM chains with different protection methods (Captcha, Mining, IP, Mainnet Balance, Gitcoin Passport and more)
Dravik is a TUI for hledger, focused on a fast, keyboard-driven workflow for personal accounting.