Alternatives
Products that do what TermiNode does
Verifiable GIS proof layer for spatial records
- 1
- 2
- 3
- 4
I don't know Rust. Friday after work I realised that 90% of my IDE time now is just the commit/diff view — and even good IDEs feel heavy for that. So over the weekend I built a dedicated native tool for just that. Kyde is a macOS git commit + diff editor with one goal: be fast, do Git well. I'm curious whether anyone else mostly opens their IDE for git operations these days. It's open source, and there's a signed app in Releases.
Jun 2026 · github.com
- 5
- 6
- 7
- 8DS
Apr 2026 · github.com
- 9FV
To my knowledge, this is the first formally verified implementation of an intersection algorithm for polygons. The experience of working with AI agents on this project changed a lot with recent model releases, as I describe in the readme. Opus 4.8 is able to provide algorithm implementation with formal proof in one shot, whereas previous models required me to provide proof strategies in multiple steps. Trust in the correctness comes entirely from the Lean checker and human review of a small specification, not from the LLM. Also check out the web demo built around the verified core linked in…
Jun 2026 · github.com
- 10
Zero-Knowledge Proofs (ZKPs) let an untrusted proved show that computation was executed correctly without revealing the inputs to the verifier. However to prove anything, the computation first has to be expressed as a circuit: a system of polynomial equations (constraints) over a finite field. Circuits are the assembly language of zk and every constraint costs prover (and sometimes verifier) time, so production circuits are aggressively hand-optimized. Over the last months, we have been experimenting with writing formal specifications instead and letting LLMs produce the circuits: as long as…
Jul 2026 · zk.golf
- 11OS
Large Language Models (LLMs) are powerful, but they’re limited by fixed context windows and outdated knowledge. What if your AI could access live search, structured data extraction, OCR, and more—all through a standardized interface? We built the JigsawStack MCP Server, an open-source implementation of the Model Context Protocol (MCP) that lets any AI model call external tools effortlessly. Here’s what it unlocks: - Web Search & Scraping: Fetch live information and extract structured data from web pages. - OCR & Structured Data Extraction: Process images, receipts, invoices, and handwritten…
2025
- 12
- 13LP
I formalized the Single Source of Truth (SSOT) principle in Lean 4 (~2.1k LOC, zero sorry) and proved two core results: Structural SSOT is achievable only when a language provides definition-time hooks and runtime introspection. Macros/codegen (before definition) and reflection (after definition) are insufficient. These requirements are derived, not chosen: because structural facts are fixed at definition, derivation must occur at definition time and be introspectable to verify DOF = 1. Would appreciate review, critique, or independent checking of the Lean scripts.
Jan 2026 · zenodo.org
- 14
Stunning vector maps. Zero cost. No sign-up, no API key.
Jul 2026 · maptoolkit.org
- 15YA
A curated collection of authoritative and non-authoritative datasets in a OpenStreetMap-compatible format and data model. For now there is just a draft specification and PoC for Madrid.
2022 · yaom.org
- 16
We built Maptoolkit.org - a free, production-grade vector maps service built on OpenStreetMap and MapLibre. Map rendering and tile hosting have historically been either expensive (Google, Mapbox) or complex to maintain yourself. (Plus: Their maps are car-focused.) Our maps feature max data zoom 15, global hill-shading, 3D terrain, contour lines, water depths, and specialized styles (like Hiking, Cycling, Winter). No sign up or API keys required. You can use it like this: ``` const map = new maplibregl.Map({ container: 'map', style: 'https://styles.maptoolkit.org/summer.json',…
Jul 2026 · maptoolkit.org
- 17GP
2012 · gistdeck.herokuapp.com
- 18GS
2015 · thegi.st
- 19
- 20
- 21CA
Codebased combines Tree Sitter for code awareness (find functions, data structures, constants, etc. not just lines of code), full-text search using SQLite, and semantic search using OpenAI embeddings + FAISS. Despite being implemented in Python, supporting semantic search, making multiple API calls for embedding and re-ranking, it is faster than ripgrep for runng searches against the Linux kernel (takes ~1 second vs. ~2 seconds, obviously depends on system, temperature, time of day, tidal forces, etc.) Up next: - A Perplexity-like agent for interpreting results, making multiple follow-up…
2024 · codebased.sh
- 22A3
2022 · live.ossinsight.io
- 23AB
My friend and I have been collaborating on this lighthearted introduction to doing geospatial computation in rust. Don't know Rust? Don't know geospatial? I'd be interested to know what you think.
2022 · book.georust.org
- 24
Ranked by how close each launch is in meaning, then by votes. Refine with a description →