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:
- Semantic find-and-replace using tree-sitter-based macro expansion!☆16Mar 31, 2022Updated 4 years ago
- A Gradual Dependently-typed Language☆14Jun 26, 2019Updated 7 years ago
- agentic skills to write TLA+ specs or TLAPS proofs☆20Jul 11, 2026Updated 2 weeks ago
- the ill programming language & interpreter☆13Oct 10, 2018Updated 7 years ago
- EDN reader for Common Lisp☆19Oct 9, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A miniKanren implementation in Rust☆37Mar 8, 2016Updated 10 years ago
- David Husband's Multitasking ZX81 Forth from 1983 - rehashed for experimental Z80 board☆13Jun 2, 2016Updated 10 years ago
- A series of neural network implementations in Clojure, building up from a version with no external dependencies to a version using neande…☆12Jun 2, 2023Updated 3 years ago
- Coding is a team sport.☆12Feb 5, 2019Updated 7 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
- A λ-calculus shell (because I love writing shells).☆12Jan 2, 2020Updated 6 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
- ☆44Feb 15, 2017Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- An Arduino library to play melodies on buzzers. Melodies can be easily written in RTTTL or in a custom human-readable format. Only for E…☆45Nov 12, 2023Updated 2 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
- An admonitions React component, ported from remarkable-admonitions. Perfect for Docusaurus v2 and other React-based doc generators☆11Sep 15, 2020Updated 5 years ago
- A simple game engine using Gtk & Cairo☆14Aug 4, 2020Updated 5 years ago
- A JSON-RPC server with object synchronization based on JSON-Patch☆10Jun 11, 2026Updated last month
- something like a public wiki, - a place to store notes, ideas, blogposts, photography, or writing☆24Updated this week
- 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Tensors, Model Inference, Linear Regression, MNIST, LSTM with TensorFlow, DL4j, komputation, DJL on Kotlin☆17Dec 18, 2020Updated 5 years ago
- TeamCity Kubernetes Operator☆16Jun 18, 2026Updated last month
- at2x() plugin for rework, formerly included in core☆15Jul 17, 2014Updated 12 years ago
- Demo running web assembly apps a terminal with blocking stdin/stdout/stderr☆27Oct 3, 2022Updated 3 years ago
- Implement Some Handy JavaScript Functions From The Ground Up☆12Mar 4, 2023Updated 3 years ago
- Capsule Network for classification of Fashion-MNIST dataset.☆10Nov 6, 2017Updated 8 years ago
- [WIP] an experimental mail client written in bash (and a bit of python)☆10Apr 12, 2020Updated 6 years ago
- Rust implementation of Ray Tracing in One Weekend☆12Jul 17, 2020Updated 6 years ago
- An annotated Neovim plugin template with pre-commit, StyLua and selene configs, GitHub actions and more.☆15Jul 6, 2026Updated 3 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A dead simple on demand video streaming service written in rust.☆13Mar 26, 2020Updated 6 years ago
- flood fill a 2D map to create a Dijkstra map (distance map or field)☆13Sep 11, 2022Updated 3 years ago
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 10 years ago
- ChIP-seq peak calling with GC effects adjustment☆10Jul 5, 2018Updated 8 years ago
- Construct your personal API☆18Dec 7, 2022Updated 3 years ago
- Cursor data and manipulation☆22Jun 3, 2026Updated last month
- New York Times 'Top Stories' app built with Vue and Vuetify.☆10May 14, 2018Updated 8 years ago