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:
- zig toml library☆12Dec 29, 2020Updated 5 years ago
- the ill programming language & interpreter☆13Oct 10, 2018Updated 7 years ago
- David Husband's Multitasking ZX81 Forth from 1983 - rehashed for experimental Z80 board☆12Jun 2, 2016Updated 9 years ago
- An AI concept that can help the game designer create procedural quests.☆13May 27, 2020Updated 5 years ago
- ☆17May 19, 2022Updated 3 years ago
- Semantic find-and-replace using tree-sitter-based macro expansion!☆16Mar 31, 2022Updated 3 years ago
- A Rust Finite State Machine (FSM)☆13Feb 1, 2014Updated 12 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 collection of tools for building concurrent systems☆31Feb 2, 2023Updated 3 years ago
- Run erlang as a WASI http server (vapourware)☆28Nov 14, 2024Updated last year
- A basic UNIX shell implementation in C☆34Oct 2, 2019Updated 6 years ago
- Symbolic Execution over Falcon IL☆30Aug 28, 2021Updated 4 years ago
- A Fully Homomorphic Encryption Brainfuck virtual machine☆217Dec 21, 2019Updated 6 years ago
- A small standalone WebAssembly interpreter in Rust☆36Nov 12, 2018Updated 7 years ago
- Demo running web assembly apps a terminal with blocking stdin/stdout/stderr☆26Oct 3, 2022Updated 3 years ago
- Experimental collection traits for Rust☆28Apr 23, 2017Updated 8 years ago
- Optimizing Synthesis with Metasketches, POPL 2016☆24Jan 11, 2017Updated 9 years ago
- ☆35Jul 19, 2019Updated 6 years ago
- FunTAL: mixing a functional language with assembly.☆41Jun 5, 2017Updated 8 years ago
- Repository for Robust Trajectory Optimization with Stochastic Complementarity☆12Dec 15, 2020Updated 5 years ago
- Ring-buffers in go without interface{}☆38Dec 17, 2025Updated 2 months ago
- ☆48Apr 19, 2021Updated 4 years ago
- A generative visual sequencer instrument for monome norns☆12May 9, 2023Updated 2 years ago
- Systematic Multi-Trait AAV Capsid Engineering for Efficient Gene Delivery (Eid et al., Nature Communications, 2024)☆11Aug 26, 2024Updated last year
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 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
- Choose today's text☆12Dec 9, 2022Updated 3 years ago
- DApp for a list of validators with metadata for POA Network (Core/Sokol). Validators can update metadata using DApp.☆14Apr 18, 2023Updated 2 years ago
- An esoteric programming language build around macros☆42Feb 11, 2021Updated 5 years ago
- An AMD am2901 4-bit ALU slice☆10Feb 14, 2023Updated 3 years ago
- A simple game engine using Gtk & Cairo☆14Aug 4, 2020Updated 5 years ago
- Alignment workflow for Kids-First DRC☆11Feb 12, 2026Updated 3 weeks ago
- "DeBruijn to SKI" Untyped language that compiles to Unlambda☆10Dec 11, 2020Updated 5 years ago
- The Linter and Bridge for Robotics. Build, validate, and export simulation-ready URDF/XACRO models directly from Blender, with full ros2_…☆150Updated this week
- Flow field pathfinding in rust☆13Sep 29, 2019Updated 6 years ago
- [FCCM 2023] PASTA: Programming and Automation Support for Scalable Task-Parallel HLS Programs on Modern Multi-Die FPGAs☆14Jun 26, 2025Updated 8 months ago