A RFC Compliant Verified DNS server
☆13Jul 17, 2026Updated 3 months ago
Alternatives and similar repositories for VeriDNS
Users that are interested in VeriDNS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Yet Another Useless Claude Code Agent — persistent long-term memory for Claude Code☆13Apr 11, 2026Updated 6 months ago
- A self-hosted, memory-native AI agent framework and cross-platform GUI application.☆22Updated this week
- ☆11Feb 27, 2026Updated 7 months ago
- Lean formalization of selected lemmas from "Term Rewriting and All That"☆18Apr 20, 2026Updated 6 months ago
- A self-modifying, TUI and Discord-facing, AI agent harness with parallel tool calling☆28Oct 10, 2026Updated 2 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An experimental library for metaprogramming with algebraic effects and handlers☆55Updated this week
- Hortator is an M-VAVE FM-1 custom firmware based on Felucca☆18Oct 12, 2026Updated last week
- ☆13May 31, 2026Updated 4 months ago
- A lightweight static site hosting platform for your Tailscale network.☆27Mar 26, 2026Updated 6 months ago
- Bend's landing page☆18Sep 9, 2026Updated last month
- Train GPT-2 from scratch on a single GPU. Companion code for the Pre-Training from Scratch book.☆12Feb 1, 2026Updated 8 months ago
- A Claude Code skill for expanding ideas via Patrick Gunkel's ideonomy, synthesized from Grace Kind's essays. Picks a different combinatio…☆43Updated this week
- Visual Category Theory Studio — draw commutative diagrams, 2-cells, adjunctions and 3D cubes in the browser; export SVG, PNG and tikz-cd.…☆22Sep 21, 2026Updated last month
- Unified Maude model-checking tool☆13Oct 18, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Tutorial for how to write a simple game in assembly language for the Commander X16☆11Oct 26, 2020Updated 5 years ago
- A game engine with ASCII style rendering.☆17Jul 27, 2017Updated 9 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆13Sep 3, 2020Updated 6 years ago
- Power series, power serious☆12Apr 21, 2025Updated last year
- Development of the CafeOBJ interpreter☆42Nov 18, 2024Updated last year
- ☆17Aug 17, 2026Updated 2 months ago
- A fork of Cerberus C adding a Lean 4 port of the semantics☆15Updated this week
- Experiments for the spectral neuron paper☆23Sep 5, 2026Updated last month
- Agents that talk through model internals — activations & J-space — instead of text. No words pass between them. The lab on top of brainsc…☆28Oct 1, 2026Updated 3 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Run a program sandboxed in an ephemeral jj workspace using a Nix devshell☆34Apr 24, 2026Updated 6 months ago
- Rust-specific fork of Enzyme.☆12Oct 7, 2026Updated 2 weeks ago
- ☆18Updated this week
- ☆81Sep 21, 2026Updated last month
- an optimizing compiler to a binary turing machine☆14Dec 16, 2024Updated last year
- Static analysis for Sierra adventure games: finds softlocks by abstract interpretation of decompiled SCI scripts, derives and verifies gu…☆52Aug 25, 2026Updated 2 months ago
- physics based piano synth☆13Oct 9, 2026Updated 2 weeks ago
- ☆12Feb 4, 2024Updated 2 years ago
- feliz react template: using F# , fable vite plugin, vite and vitest, an alternative to typescript?☆11Jun 27, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 🎮 A Game Engine for your Terminal☆17Updated this week
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Mar 15, 2024Updated 2 years ago
- Ask Canada — an AI-first front door to government services. Open source; any country can run it.☆16Oct 2, 2026Updated 3 weeks ago
- A motivational interviewing skill for AI agents. Helps work through ambivalence, stuckness, and decisions.☆15Jun 8, 2026Updated 4 months ago
- copied from http://readable.sourceforge.net☆11Mar 13, 2016Updated 10 years ago
- Recurrent neural network from scratch in numpy, with a custom-made word2vec☆12Apr 13, 2020Updated 6 years ago
- A curated list of awesome GitHub Blocks resources.☆19Nov 30, 2022Updated 3 years ago