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
- zig toml library☆12Dec 29, 2020Updated 5 years ago
- A Gradual Dependently-typed Language☆14Jun 26, 2019Updated 7 years ago
- ☆15May 19, 2022Updated 4 years ago
- An AI concept that can help the game designer create procedural quests.☆14May 27, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- the ill programming language & interpreter☆13Oct 10, 2018Updated 8 years ago
- agentic skills to write TLA+ specs or TLAPS proofs☆21Jul 11, 2026Updated 3 months ago
- A miniKanren implementation in Rust☆37Mar 8, 2016Updated 10 years ago
- Fully verified model checker for realtime systems☆17Sep 2, 2022Updated 4 years ago
- A hierarchical, recursive ray tracer written in Rust☆20Dec 31, 2019Updated 6 years ago
- A collection of tools for building concurrent systems☆31Feb 2, 2023Updated 3 years ago
- Visualize the impact of current events on stocks☆50Nov 25, 2018Updated 7 years ago
- Coding is a team sport.☆12Feb 5, 2019Updated 7 years ago
- A tiny experiment into building safe fibers in Rust☆27Oct 16, 2020Updated 6 years ago
- 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.
- A bot written in Scala 3 to stress test text-based MMORPGs (MUDs).☆50Jan 18, 2022Updated 4 years ago
- Thicket is a decentralized Vine clone built using IPFS☆27Jan 25, 2023Updated 3 years ago
- Manipulating racket bytecode☆26Oct 24, 2021Updated 4 years ago
- Course materials for Stanford's CS43: Functional Programming Paradigms☆33Mar 27, 2020Updated 6 years ago
- resilient location sharing☆13Sep 23, 2021Updated 5 years ago
- The Yak☆16May 11, 2018Updated 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.☆12Feb 25, 2022Updated 4 years ago
- Spatial transcriptomics foundation model based on Graph Transformer and JEPA☆74Aug 10, 2026Updated 2 months ago
- Romulus: Robust multi-state identification of transcription factor binding sites from DNase-seq data☆10Mar 6, 2019Updated 7 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.
- 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 7 years ago
- A dead simple on demand video streaming service written in rust.☆13Mar 26, 2020Updated 6 years ago
- at2x() plugin for rework, formerly included in core☆15Jul 17, 2014Updated 12 years ago
- tmux agent monitor and session manager: live Claude Code, Codex, and Pi status plus a navigable session/window/pane tree in one sidebar/p…☆56Updated this week
- Demo running web assembly apps a terminal with blocking stdin/stdout/stderr☆27Oct 3, 2022Updated 4 years ago
- rclip is a remote clipboard for CLI applications.☆16Mar 5, 2023Updated 3 years ago
- Capsule Network for classification of Fashion-MNIST dataset.☆10Nov 6, 2017Updated 8 years ago
- Rust implementation of Ray Tracing in One Weekend☆12Jul 17, 2020Updated 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.
- flood fill a 2D map to create a Dijkstra map (distance map or field)☆13Sep 11, 2022Updated 4 years ago
- Cursor data and manipulation☆22Jun 3, 2026Updated 4 months ago
- Construct your personal API☆18Dec 7, 2022Updated 3 years ago
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- An extension of Nocturne to turn Spotify Car Thing into a hardware Claude Code HUD☆103Aug 8, 2026Updated 2 months ago
- Coming soon!☆12Jun 6, 2018Updated 8 years ago
- Automatically derive bindings for Servant APIs in Reason☆12Jun 1, 2019Updated 7 years ago