The Quasi Quantum Assembly Programming Language
☆36Nov 14, 2025Updated 11 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☆14Nov 4, 2026Updated last week
- ICSE 2025: Fuzzing MLIR compilers with Custom Mutation Synthesis☆15Jul 22, 2025Updated last year
- Handles everything related to working with instruction datasets☆11Dec 19, 2023Updated 2 years ago
- Toolbox for working with the Python AST☆16Sep 13, 2023Updated 3 years ago
- The Elements of Statistical Learning in Haskell☆13Nov 29, 2017Updated 8 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.
- A minimal, certified, executable HTTP server written in Coq☆11Mar 30, 2021Updated 5 years ago
- Unofficial specification for GtkWave's FST digital waveform file format.☆11Updated this week
- Library for structural temporal logic proofs over coinductive, free monads with effects and choice.☆12Updated this week
- ☆12Jul 9, 2021Updated 5 years ago
- eBPF tool to collect BOLT profile☆15Apr 9, 2026Updated 7 months ago
- A highlight.js language grammar for the Lean theorem proving language.☆13Oct 7, 2026Updated last month
- A suite of local-first apps, all on one unified account☆16Updated this week
- An intermediate-to-senior Scala/Cats/cats-effect/http4s interview question I designed☆16May 29, 2025Updated last year
- ☆10Oct 22, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Tools for analysing results produced by the llvm-xray instrumentation☆16Jan 15, 2021Updated 5 years ago
- ☆13Jun 18, 2024Updated 2 years ago
- Open-source Human Feedback Library☆11Oct 25, 2023Updated 3 years ago
- Macro recording and metaprogramming in Python☆13Aug 29, 2025Updated last year
- Buchbergers algorithm for computing Groebner basis of polynonmial ideals☆13Dec 2, 2023Updated 2 years ago
- A differential testing tool targeting SPIRV based on structured fuzzing techniques☆16Dec 9, 2022Updated 3 years ago
- Bindings to libclingo for the lean4 prover and programming language!☆22Nov 27, 2024Updated last year
- Optimizing scheduler. Combinatorial instruction scheduling project.☆29Jun 8, 2026Updated 5 months ago
- Evolutionary Autoresearch and Optimization of GPU Kernels.☆13Aug 25, 2026Updated 2 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Jupyter notebook for the Lean4 programming language☆25Apr 25, 2022Updated 4 years ago
- zimbu lang for windows 32 xp,☆11Mar 1, 2015Updated 11 years ago
- Tablegen bindings for Rust☆19Oct 26, 2026Updated 2 weeks ago
- Instant Neural Graphics Primitives from scratch, zero dependencies. Learning by doing.☆10Aug 18, 2023Updated 3 years ago
- MLIR tools and dialect for GraphBLAS☆18Mar 30, 2022Updated 4 years ago
- An automation platform for graphically modeled workflows. Focus on network automation. Open Source under Apache License.☆11Oct 23, 2026Updated 2 weeks ago
- ☆12Apr 19, 2024Updated 2 years ago
- A practical introduction to High Performance Computing (HPC)☆10Oct 26, 2026Updated 2 weeks ago
- ☆14May 26, 2023Updated 3 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.
- An exact weighted model counter based on algebraic decision diagrams☆10Jul 12, 2026Updated 4 months ago
- GSDMM: Short text clustering (Rust implementation)☆24Apr 26, 2023Updated 3 years ago
- LocaLeJEPA: JEPA self-supervised learning that matches the embedding distribution locally, in k-means neighborhoods, instead of globally,…☆13Updated this week
- Parametric Integer Programming Library☆15Aug 28, 2026Updated 2 months ago
- A Better Google Calendar☆16Mar 3, 2024Updated 2 years ago
- Python Interface to the Data and Learning Hub for Science☆28Jun 1, 2023Updated 3 years ago
- ☆13Nov 14, 2024Updated last year
Are these results useful?