Ink: a small language with locally checked proofs and an extensible optimisation database
☆21Nov 9, 2026Updated this week
Alternatives and similar repositories for ink-lang
Users that are interested in ink-lang are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A tool to make using the "World Info" section in AI-Dungeon easier.☆10Aug 26, 2021Updated 5 years ago
- Scenario script for AI Dungeon☆12Aug 6, 2025Updated last year
- A collection of userscript I've made/modified☆32Nov 15, 2025Updated 11 months ago
- A Text-based User Interface for the mq Markdown processor.☆15Updated this week
- A task runner that executes code blocks in Markdown files based on section titles.☆18Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Localized Languages (LoLa) is a context overhaul script for multilingual accessibility in AI Dungeon scenarios/adventures~ ❤️☆36Jan 20, 2026Updated 9 months ago
- SHA-256 in Bend with a machine-checked functional correctness proof against a separate FIPS 180-4 specification.☆20Sep 20, 2026Updated last month
- custom IDA 9.2, 9.3+ scripts, ida resource viewer, resource/rsrc parsers, mfc fixups and more!☆14Oct 15, 2026Updated 3 weeks ago
- Post-build IL optimizer and intermediate representation for .NET programs☆143Updated this week
- Terminal braille rendering library for images, animation, and expressive CLI graphics.☆12Updated this week
- ☆13Apr 5, 2026Updated 7 months ago
- A Typescript API client for AUTOMATIC111/stable-diffusion-webui☆11Oct 18, 2023Updated 3 years ago
- Ostromo: an Alien-style home screen for LG webOS TVs. Code, install guide and releases. MIT.☆19Nov 4, 2026Updated last week
- JSON5 implementation for jq☆13Jun 16, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Library that makes it easier to write comparison functions in Elm☆12Nov 16, 2020Updated 5 years ago
- Fast, standalone CLI for Obsidian vault operations. No Electron, no app dependency, no network calls.☆11Jun 12, 2026Updated 4 months ago
- ☆20Aug 27, 2026Updated 2 months ago
- ☆16Oct 23, 2026Updated 2 weeks ago
- GUI RAD designer for LuaRT☆12Jan 26, 2024Updated 2 years ago
- Inspired by syn, elm-ast is a Rust library for parsing and constructing Elm 0.19.1 ASTs.☆16Aug 14, 2026Updated 2 months ago
- Watch for file changes and auto restart an application using fork checkpoints to continue the process (for quick live development)☆14Dec 30, 2021Updated 4 years ago
- official fosscord client themes and ideas☆12Apr 4, 2023Updated 3 years ago
- ☆28Nov 3, 2026Updated last week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A single-player, offline server for the original DarkOrbit Unity client, with a desktop panel to run it all.☆31Updated this week
- S3MER is a full stack dynamic live streaming platform, customizable features, multi-platform integration, and a developer-friendly API.☆14Updated this week
- yet another ancient minecraft clone☆16Nov 30, 2024Updated last year
- An open, cross-platform IDE for Visual Basic 6. Forms, toolbox, properties and project explorer, running natively on Windows, macOS and L…☆16Updated this week
- The offical pY modpack with dependancies on all mods. Additionally contains optional dependancies on pY recommended mods. WARNING! This m…☆15Jul 7, 2026Updated 4 months ago
- MCP server for Backlog, project management service.☆14Nov 2, 2026Updated last week
- Go based task runner☆11Sep 26, 2022Updated 4 years ago
- Attend - to what matters.☆16Feb 22, 2025Updated last year
- 💥 WebGL-based image effects library. (TypeScript)☆17Mar 2, 2024Updated 2 years 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.
- agentic cellular automata☆21Updated this week
- HTML to Markdown converter written in Rust☆26Aug 9, 2026Updated 3 months ago
- Easily create and pick values from Random Distributions and Markov Chains.☆10Oct 28, 2026Updated 2 weeks ago
- A lightweight native IDE for .NET and C#, inspired by JetBrains Rider: Roslyn code intelligence, build, run, tests, debugging with netcor…☆19Updated this week
- Spectre Revival project's metagame backend server repository.☆20Aug 10, 2026Updated 3 months ago
- Simple and optimized CSS loaders in Elm.☆15Feb 2, 2023Updated 3 years ago
- ☆17Oct 9, 2026Updated last month
Are these results useful?