Audible NP-Complete Problem
☆22Oct 26, 2019Updated 6 years ago
Alternatives and similar repositories for audible-cos
Users that are interested in audible-cos are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Dec 8, 2022Updated 3 years ago
- ☆12Jan 19, 2024Updated 2 years ago
- zig toml library☆12Dec 29, 2020Updated 5 years ago
- Semantic find-and-replace using tree-sitter-based macro expansion!☆16Mar 31, 2022Updated 3 years ago
- A Gradual Dependently-typed Language☆14Jun 26, 2019Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- An AI concept that can help the game designer create procedural quests.☆13May 27, 2020Updated 5 years ago
- the ill programming language & interpreter☆13Oct 10, 2018Updated 7 years ago
- ☆70Jul 26, 2020Updated 5 years ago
- A miniKanren implementation in Rust☆37Mar 8, 2016Updated 10 years ago
- Fully verified model checker for realtime systems☆17Sep 2, 2022Updated 3 years ago
- A toy NES emulator in Rust☆78Sep 13, 2025Updated 6 months ago
- From-scratch kernel built to serve web pages☆28Sep 27, 2025Updated 6 months ago
- Simple dotfile pre-processor with a per-file configuration and no dependencies.☆12Dec 14, 2021Updated 4 years ago
- A bot written in Scala 3 to stress test text-based MMORPGs (MUDs).☆50Jan 18, 2022Updated 4 years ago
- 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.
- Symbolic Execution over Falcon IL☆30Mar 13, 2026Updated 2 weeks ago
- Coding is a team sport.☆12Feb 5, 2019Updated 7 years ago
- Blogpost about building the SCION 25 Gbit/s Workstation☆40Jan 12, 2026Updated 2 months ago
- The Universal Turing Machine implemented in NXC, which runs on the LEGO device we made: http://www.legoturingmachine.org☆33Jul 31, 2012Updated 13 years ago
- A λ-calculus shell (because I love writing shells).☆12Jan 2, 2020Updated 6 years ago
- Manipulating racket bytecode☆26Oct 24, 2021Updated 4 years ago
- Functional builders for vecty elements (not maintained right now)☆10Nov 7, 2019Updated 6 years ago
- nand2tetris on an fpga☆15Aug 28, 2016Updated 9 years ago
- This is Part 1 of creating a basic JavaScript watchface using Pebble's new native JavaScript API Rocky.js.☆12Oct 18, 2016Updated 9 years ago
- 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.
- Optimizing FizzBuzz in Rust for fun and profit☆20Aug 23, 2025Updated 7 months ago
- ☆44Feb 15, 2017Updated 9 years ago
- My Linux configuration files☆15Mar 29, 2025Updated last year
- resilient location sharing☆14Sep 23, 2021Updated 4 years ago
- A small standalone WebAssembly interpreter in Rust☆36Nov 12, 2018Updated 7 years ago
- A minimal "terminal-app" skeleton with maximum comfort.☆12Sep 1, 2017Updated 8 years ago
- LAAVA: Long-read AAV Analysis☆13Dec 9, 2025Updated 3 months ago
- A simple game engine using Gtk & Cairo☆14Aug 4, 2020Updated 5 years ago
- The Yak☆16May 11, 2018Updated 7 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- An admonitions React component, ported from remarkable-admonitions. Perfect for Docusaurus v2 and other React-based doc generators☆11Sep 15, 2020Updated 5 years ago
- an app for storing and calculating with arbitrary structures of values.☆11Dec 25, 2017Updated 8 years ago
- If you are trying to demo some project and you need a demo project to run on it, you can build it yourself or just use one of these.☆11Feb 25, 2022Updated 4 years ago
- ChIP-seq peak calling with GC effects adjustment☆10Jul 5, 2018Updated 7 years ago
- Notes☆11Feb 21, 2024Updated 2 years ago
- A small, simple and incomplete Lisp/Scheme interpreter written in Ruby☆11Mar 20, 2015Updated 11 years ago
- Escrovery - Decentralized Account Recovery With Escrowed Payments☆13May 8, 2019Updated 6 years ago