The Quasi Quantum Assembly Programming Language
☆36Nov 14, 2025Updated 8 months ago
Alternatives and similar repositories for Quasi-Quantum-Assembly
Users that are interested in Quasi-Quantum-Assembly are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Qwen .5B reasoning model trained on OpenR1-Math-220k☆14Jul 29, 2026Updated 2 weeks ago
- ICSE 2025: Fuzzing MLIR compilers with Custom Mutation Synthesis☆15Jul 22, 2025Updated last year
- Toolbox for working with the Python AST☆16Sep 13, 2023Updated 2 years ago
- eBPF tool to collect BOLT profile☆15Apr 9, 2026Updated 4 months ago
- A highlight.js language grammar for the Lean theorem proving language.☆13Jun 30, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Ultra low overhead NVIDIA GPU telemetry plugin for telegraf with memory temperature readings.☆63Jul 8, 2024Updated 2 years ago
- An intermediate-to-senior Scala/Cats/cats-effect/http4s interview question I designed☆16May 29, 2025Updated last year
- ☆10Oct 22, 2019Updated 6 years ago
- Tools for analysing results produced by the llvm-xray instrumentation☆16Jan 15, 2021Updated 5 years ago
- ☆17Jul 7, 2025Updated last year
- A composite GitHub action that can be used to create or update a GitHub issue/pull request comment.☆10Oct 4, 2025Updated 10 months ago
- A Python interface for the Dawn WebGPU engine☆21Jan 10, 2026Updated 7 months ago
- Manipulate static symbols in ELF and Mach-O objects☆17Jun 17, 2022Updated 4 years ago
- A differential testing tool targeting SPIRV based on structured fuzzing techniques☆16Dec 9, 2022Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Open source target discovery for cancer.☆27Mar 23, 2025Updated last year
- Instant Neural Graphics Primitives from scratch, zero dependencies. Learning by doing.☆10Aug 18, 2023Updated 2 years ago
- Simulator (more accurately: an assembler and an emulator) for Xilinx PicoBlaze, runnable in a browser. That is my Bachelor thesis.☆32Updated this week
- Parametric Integer Programming Library☆15Jan 23, 2024Updated 2 years ago
- Class of data structures that can be unfolded.☆22Jan 6, 2026Updated 7 months ago
- An automation platform for graphically modeled workflows. Focus on network automation. Open Source under Apache License.☆11Apr 1, 2026Updated 4 months ago
- An implementation of the Augmented Random Search algorithm☆14Jan 29, 2022Updated 4 years ago
- Set up a specific version of the Z3 theorem prover☆14Updated this week
- Example for running IREE in a bare-metal Arm environment.☆43Feb 24, 2026Updated 5 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 🚀 CUDA path tracer running 2× faster than RTX☆46Sep 6, 2025Updated 11 months ago
- Treat remote files like they exist in your memory.☆11Jan 21, 2024Updated 2 years ago
- Clustered Compositional Embeddings☆13Oct 25, 2023Updated 2 years ago
- Lib flatterer: A lib to make JSON flatterer☆17Aug 1, 2026Updated last week
- ☆22Jul 31, 2019Updated 7 years ago
- Trying to deconstruct RWKV in understandable terms☆14May 6, 2023Updated 3 years ago
- Demo that extends the FastUI example & adds database persistence☆17Jan 2, 2024Updated 2 years ago
- Symbolic (analytical) polyhedron projection by Fourier-Motzkin elimination using SymPy☆13Oct 17, 2019Updated 6 years ago
- A Bevy friendly wrapper of Box2D and LiquidFun.☆10Aug 14, 2024Updated last year
- 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 generic, composable multi-dimensional array library.☆12Updated this week
- (at least a useful portion of) Temporal Logic of Actions, a.k.a. TLA in Lean 4☆33Aug 4, 2026Updated last week
- A fully customizable pybind11 generator to help generate code for exsiting c/c++ library.☆18May 30, 2024Updated 2 years ago
- A toy implementation of socket programming for Lean 4.☆27Feb 23, 2023Updated 3 years ago
- This project illustrates how we could codesign and notarize a macOS application with CMake.☆20May 30, 2025Updated last year
- Haskell sort as fast as C++ (on some platforms)☆16Aug 23, 2025Updated 11 months ago
- Tiny framework for solving constraint satisfaction problems (CSP) with discrete and finite domains. This is a Scala-based port of the ori…☆10May 13, 2016Updated 10 years ago