The Quasi Quantum Assembly Programming Language
☆36Nov 14, 2025Updated 10 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☆14Sep 16, 2026Updated last week
- eBPF tool to collect BOLT profile☆15Apr 9, 2026Updated 5 months ago
- ☆10May 6, 2021Updated 5 years ago
- 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
- 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.
- 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
- A numpy like array programming language optimized with BuildIt☆14Oct 17, 2025Updated 11 months ago
- ☆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
- Jupyter notebook for the Lean4 programming language☆25Apr 25, 2022Updated 4 years ago
- Optimizing scheduler. Combinatorial instruction scheduling project.☆29Jun 8, 2026Updated 3 months ago
- MLIR tools and dialect for GraphBLAS☆18Mar 30, 2022Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A differential testing tool targeting SPIRV based on structured fuzzing techniques☆16Dec 9, 2022Updated 3 years ago
- Official CLI for creating React Three Fiber projects☆17Sep 16, 2025Updated last year
- 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 3 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
- Curated list of unikernel resources☆53Mar 28, 2020Updated 6 years ago
- HbbTV Open Platform - A TypeScript platform for creating fast and optimized HbbTV apps☆17Feb 15, 2025Updated last year
- Parametric Integer Programming Library☆15Aug 28, 2026Updated 3 weeks ago
- Rust finite field library with fixed size multi-word values☆18Jul 2, 2026Updated 2 months ago
- 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.
- 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
- ☆24Jul 31, 2023Updated 3 years 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☆14Sep 14, 2026Updated last 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
- ☆22Jul 31, 2019Updated 7 years ago
- Symbolic (analytical) polyhedron projection by Fourier-Motzkin elimination using SymPy☆13Oct 17, 2019Updated 6 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.
- real-to-sim evaluation suite for robot parkour☆11Jan 19, 2025Updated last year
- Generator for MLIR files from known front-ends☆17Oct 31, 2023Updated 2 years ago
- A fully customizable pybind11 generator to help generate code for exsiting c/c++ library.☆18May 30, 2024Updated 2 years ago
- Proof infrastructure about LTL in Lean 4☆36Sep 6, 2026Updated 2 weeks ago
- A minimal short-time Fourier transform example for the Daisy Seed.☆24Apr 19, 2024Updated 2 years ago
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆48Mar 5, 2026Updated 6 months ago
- Mind-wandering detector using EEG and ML☆10Aug 19, 2023Updated 3 years ago