The Quasi Quantum Assembly Programming Language
☆36Nov 14, 2025Updated 9 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:
- ☆50Updated this week
- 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
- ☆10May 6, 2021Updated 5 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.
- The Elements of Statistical Learning in Haskell☆13Nov 29, 2017Updated 8 years ago
- A highlight.js language grammar for the Lean theorem proving language.☆13Jun 30, 2024Updated 2 years ago
- An intermediate-to-senior Scala/Cats/cats-effect/http4s interview question I designed☆16May 29, 2025Updated last year
- Tools for analysing results produced by the llvm-xray instrumentation☆16Jan 15, 2021Updated 5 years ago
- ☆17Jul 7, 2025Updated last year
- Jupyter notebook for the Lean4 programming language☆25Apr 25, 2022Updated 4 years ago
- A composite GitHub action that can be used to create or update a GitHub issue/pull request comment.☆11Oct 4, 2025Updated 10 months ago
- Optimizing scheduler. Combinatorial instruction scheduling project.☆29Jun 8, 2026Updated 2 months ago
- Manipulate static symbols in ELF and Mach-O objects☆17Jun 17, 2022Updated 4 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.
- A differential testing tool targeting SPIRV based on structured fuzzing techniques☆16Dec 9, 2022Updated 3 years ago
- Instant Neural Graphics Primitives from scratch, zero dependencies. Learning by doing.☆10Aug 18, 2023Updated 3 years ago
- ☆12Apr 19, 2024Updated 2 years ago
- Class of data structures that can be unfolded.☆22Jan 6, 2026Updated 7 months ago
- Example of compiling numba functions to wasm for use in JS or alongside pyodide☆14May 8, 2023Updated 3 years ago
- ML from scratch in Jax☆12Aug 20, 2025Updated last year
- Set up a specific version of the Z3 theorem prover☆14Updated this week
- Example for running IREE in a bare-metal Arm environment.☆44Feb 24, 2026Updated 6 months ago
- Clustered Compositional Embeddings☆13Oct 25, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Lib flatterer: A lib to make JSON flatterer☆17Aug 1, 2026Updated last month
- ☆22Jul 31, 2019Updated 7 years ago
- Trying to deconstruct RWKV in understandable terms☆14May 6, 2023Updated 3 years ago
- Symbolic (analytical) polyhedron projection by Fourier-Motzkin elimination using SymPy☆13Oct 17, 2019Updated 6 years ago
- how to build a sentence embedding application using BentoML☆15Jul 14, 2026Updated last month
- A tool for converting C/C++ header files to Cython header files☆17Apr 10, 2024Updated 2 years ago
- A Bevy friendly wrapper of Box2D and LiquidFun.☆10Aug 14, 2024Updated 2 years ago
- Generator for MLIR files from known front-ends☆17Oct 31, 2023Updated 2 years ago
- Proof infrastructure about LTL in Lean 4☆34Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Arduino Library for driving "0-wire" 2-pin multi-mode LEDs☆14Sep 25, 2022Updated 3 years ago
- Mind-wandering detector using EEG and ML☆10Aug 19, 2023Updated 3 years ago
- Hand-Rolled GPU communications library☆95Nov 25, 2025Updated 9 months ago
- This project illustrates how we could codesign and notarize a macOS application with CMake.☆20May 30, 2025Updated last year
- diffusers with search engine☆12Aug 12, 2026Updated 3 weeks ago
- Haskell sort as fast as C++ (on some platforms)☆16Aug 23, 2025Updated last year
- 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