howonlee / audible-cosView external linksLinks
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
Sorting:
- ☆11Jan 19, 2024Updated 2 years ago
- zig toml library☆12Dec 29, 2020Updated 5 years ago
- ☆17May 19, 2022Updated 3 years ago
- the ill programming language & interpreter☆13Oct 10, 2018Updated 7 years ago
- A Rust Finite State Machine (FSM)☆13Feb 1, 2014Updated 12 years ago
- Semantic find-and-replace using tree-sitter-based macro expansion!☆16Mar 31, 2022Updated 3 years ago
- Fully verified model checker for realtime systems☆17Sep 2, 2022Updated 3 years ago
- A tiny experiment into building safe fibers in Rust☆27Oct 16, 2020Updated 5 years ago
- A hierarchical, recursive ray tracer written in Rust☆20Dec 31, 2019Updated 6 years ago
- edgedressing leverages a Windows "feature" in order to force a target's Edge browser to open. This browser is then directed to a URL of …☆51Dec 11, 2024Updated last year
- A basic UNIX shell implementation in C☆34Oct 2, 2019Updated 6 years ago
- A collection of tools for building concurrent systems☆31Feb 2, 2023Updated 3 years ago
- Manipulating racket bytecode☆26Oct 24, 2021Updated 4 years ago
- Symbolic Execution over Falcon IL☆30Aug 28, 2021Updated 4 years ago
- Demo running web assembly apps a terminal with blocking stdin/stdout/stderr☆26Oct 3, 2022Updated 3 years ago
- A small standalone WebAssembly interpreter in Rust☆36Nov 12, 2018Updated 7 years ago
- Optimizing Synthesis with Metasketches, POPL 2016☆24Jan 11, 2017Updated 9 years ago
- Coding is a team sport.☆12Feb 5, 2019Updated 7 years ago
- ☆35Jul 19, 2019Updated 6 years ago
- This package implements 1D and 2D blood flow models for arterial circulation using Trixi.jl, enabling efficient numerical simulation and …☆44Updated this week
- RTLSDR ADS-B dump1090 to Google BigQuery☆33Sep 17, 2019Updated 6 years ago
- flood fill a 2D map to create a Dijkstra map (distance map or field)☆12Sep 11, 2022Updated 3 years ago
- ☆48Apr 19, 2021Updated 4 years ago
- An AMD am2901 4-bit ALU slice☆10Feb 14, 2023Updated 3 years ago
- Sample Python code that demonstrates how to use the Python client to work with Riak TS (Time Series)☆11Aug 30, 2016Updated 9 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- Choose today's text☆12Dec 9, 2022Updated 3 years ago
- A simple game engine using Gtk & Cairo☆14Aug 4, 2020Updated 5 years ago
- An Excel spreadsheet to help you solve WORDLE puzzles☆13Dec 14, 2022Updated 3 years ago
- [FCCM 2023] PASTA: Programming and Automation Support for Scalable Task-Parallel HLS Programs on Modern Multi-Die FPGAs☆13Jun 26, 2025Updated 7 months ago
- Flappy Space Program☆18May 5, 2014Updated 11 years ago
- Use SQL to query MongoDB☆15Mar 4, 2023Updated 2 years ago
- Local text-to-speech in your browser with Piper TTS☆16Aug 13, 2025Updated 6 months ago
- Flow field pathfinding in rust☆13Sep 29, 2019Updated 6 years ago
- Replica of MK-61 programmable calculator is based on a cycle-accurate model of legacy ICs running on a modern microcontroller.☆43Nov 24, 2023Updated 2 years ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆78Nov 16, 2017Updated 8 years ago
- A generative visual sequencer instrument for monome norns☆12May 9, 2023Updated 2 years ago
- a sharable language☆14Jan 20, 2025Updated last year
- Read physical page locations from arbitrary Linux programs☆13Jun 20, 2017Updated 8 years ago