☆20Oct 29, 2026Updated 2 weeks ago
Alternatives and similar repositories for nanogpt-seis
Users that are interested in nanogpt-seis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Give Vercel AI SDK agents a real persistent filesystem with Amazon S3 Files.☆25Sep 4, 2026Updated 2 months ago
- Scan a repo for malware tricks before you run it. Catches credential theft, hidden network calls, obfuscated code and auto-run hooks. Rea…☆33Updated this week
- An agent skill for Peter Lynch-style stock analysis, inspired by Learn to Earn, One Up on Wall Street, and Beating the Street.☆19Jun 28, 2026Updated 4 months ago
- rust binding for lean4☆12Jul 1, 2023Updated 3 years ago
- Conway's Game of Life on a SmartMatrix display using the FastLED library☆11Jun 14, 2020Updated 6 years 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.
- ☆12Apr 28, 2023Updated 3 years ago
- AI agent conversation history browser☆42Oct 28, 2026Updated 2 weeks ago
- OCaml bindings to the number theory library PARI/GP☆12Jan 11, 2025Updated last year
- A minimal, certified, executable HTTP server written in Coq☆11Mar 30, 2021Updated 5 years ago
- Verified codegen framework for cryptographic primitives — Lean 4, 0 sorry☆11Jun 10, 2026Updated 5 months ago
- Grainflow implementation for pure data☆10May 25, 2026Updated 5 months ago
- Lean4 formalization of "A Simplified Round-by-round Soundness Proof of FRI"☆11Apr 1, 2026Updated 7 months ago
- Zero Knowledge LANGuage in OCaml☆12Jul 15, 2024Updated 2 years ago
- Free professional color tools for designers & developers. Extract palettes from images/URLs, simulate color blindness, generate gradients…☆17Feb 12, 2026Updated 9 months ago
- 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.
- R1CS to Plonk transpiler☆11Jun 12, 2025Updated last year
- Formal verification tool for Noir programs using the Rocq system☆12May 28, 2025Updated last year
- Chip8 Emulator☆21Nov 2, 2026Updated last week
- Simple byte and string based inter-device communication via BLE.☆10Dec 7, 2020Updated 5 years ago
- Dome theater projection and virtual reality using THREE.js☆15Oct 19, 2021Updated 5 years ago
- Free, open-source system design curriculum: 200 topics across 6 tracks, 32 interactive simulators, 15 from-scratch builds, 470 videos, an…☆15Updated this week
- WeMush Open Labeling Standard☆49Jan 30, 2026Updated 9 months ago
- A city-builder played with a painter's gestures. Draw a road, circle ground for houses - the town interprets, in four of Cezanne's manner…☆16Jul 26, 2026Updated 3 months ago
- 500+ algorithmic-trading skills for AI coding agents in the agentskills.io format. Every skill ships a working Python reference implement…☆51Sep 14, 2026Updated 2 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Technical Documentation for ThingPulse devices☆12Dec 29, 2025Updated 10 months ago
- A $10 desktop Bluetooth amplifier you'll love☆14May 6, 2026Updated 6 months ago
- Prototype code for some Julia-OCaml bindings☆16Jan 3, 2021Updated 5 years ago
- Simple IR RGB Led library for Arduino☆11Oct 2, 2020Updated 6 years ago
- ☆10May 14, 2026Updated 6 months ago
- ☆17Jan 8, 2021Updated 5 years ago
- ostree, arch linux, zen4, gnome. look ma, no package manager!☆23Mar 15, 2026Updated 7 months ago
- OCaml ctypes bindings to llama.cpp☆16Jan 23, 2024Updated 2 years ago
- Creating a gen~-like environment for Pd, based on the Heavy compiler☆15Aug 14, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- The OCaml coding agent☆13Aug 30, 2026Updated 2 months ago
- An ESP8266-powered, open source, Wi-Fi dev board for 12V or 5V controlling addressable LED strips☆15Jul 14, 2019Updated 7 years ago
- Finite Fields and Curves in Lean☆14Apr 6, 2023Updated 3 years ago
- Calculus of Constructions Implementation☆17Dec 20, 2019Updated 6 years ago
- Implementation of the Clap language for ZK Circuits in the Lean proof-assistant☆16Updated this week
- Web synthesizer with face tracking control☆13Feb 17, 2023Updated 3 years ago
- An open-source geospatial infrastructure that transforms institutional hyperlinks into a unified spatial index of cultural heritage prove…☆12Nov 6, 2026Updated last week
Are these results useful?