A compiler and stack-based VM for pseudo-assembly as defined in the Computer Science Coursebook for Cambridge International AS & A Level, second edition, by Langfield & Duddell.
☆17Nov 27, 2025Updated 3 months ago
Alternatives and similar repositories for cambridge-asm
Users that are interested in cambridge-asm are comparing it to the libraries listed below
Sorting:
- An interpreter for IGCSE/A level pseudocode☆32Nov 8, 2025Updated 3 months ago
- A procedural macro implementation of `quote!`.☆24Mar 20, 2023Updated 2 years ago
- Template repository for a CG proposal or work item.☆17Aug 30, 2024Updated last year
- Hyper-parallel ZK coprocessing.☆17Aug 29, 2025Updated 6 months ago
- ☆10Nov 26, 2020Updated 5 years ago
- Multiplatform encrypted note-taking app with block-style editor☆16Sep 3, 2025Updated 6 months ago
- Community edition of Nightfall_4☆16Updated this week
- Exports Apple Notes into Markdown using Rust and AppleScript☆14Mar 18, 2025Updated 11 months ago
- Implementation of the Idemix attribute based credential scheme used in IRMA☆11Dec 11, 2024Updated last year
- LaTeX 入门讲座资料☆10Sep 29, 2019Updated 6 years ago
- Attribute-based Encryption Schemes☆10Nov 16, 2021Updated 4 years ago
- This repository contains numerous small utility packages. These packages serve various useful purposes and are written in nano ESModule w…☆10Feb 18, 2026Updated 2 weeks ago
- zkSnark circuit compiler☆12Feb 19, 2026Updated 2 weeks ago
- A Rust-based, bare-metal kernel implementing zero-trust execution, cryptographic self-measurement and capability-enforced isolation for N…☆38Feb 23, 2026Updated last week
- CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI bre…☆10May 19, 2022Updated 3 years ago
- a wrapper around the normal golang's channel, with several improvements☆11Jul 18, 2024Updated last year
- Hierarchical Deterministic Keys for the European Digital Identity Wallet☆11Feb 23, 2026Updated last week
- Demo code for blog post Python profiling☆10Oct 10, 2016Updated 9 years ago
- zkSNARK full flow example in Go☆12Jun 3, 2020Updated 5 years ago
- Hybrid Federate Learning Framework for Financial Crime Detection☆13Mar 22, 2024Updated last year
- An erc-20 token with EIP750 style zk private transactions and a new nullifier scheme to allow partial spends☆11Apr 11, 2025Updated 10 months ago
- A simple file server to (temporarily) serve static content from a local filesystem☆19Nov 10, 2016Updated 9 years ago
- Semaphore v4 implemented in Rust☆10Oct 7, 2025Updated 4 months ago
- A quick fix model for the Charm BubbleTea ecosystem.☆15Nov 27, 2025Updated 3 months ago
- ☆12Oct 4, 2023Updated 2 years ago
- Semaphore Protocol with Noir.☆11Mar 14, 2025Updated 11 months ago
- ☆11Aug 20, 2024Updated last year
- learn to make OS☆11Nov 21, 2020Updated 5 years ago
- ☆15Dec 15, 2022Updated 3 years ago
- 一个小型操作系统的学习与实现☆10Feb 18, 2021Updated 5 years ago
- L2 bridging for ENS with onchain guarantees.☆11Feb 19, 2024Updated 2 years ago
- A command line tool for creating, managing and distributing issued currencies and NFT's on the XRPL.☆12Dec 22, 2023Updated 2 years ago
- collection of libraries for zsh prompts☆11Oct 1, 2024Updated last year
- 每次分享活动相关的材料☆10Nov 3, 2014Updated 11 years ago
- Translate with style☆11May 3, 2022Updated 3 years ago
- 👾 Run WebAssembly (WASM-4) games on small devices (like PyBadge)☆14Feb 22, 2024Updated 2 years ago
- ansi contains a bunch of constants and possibly additional terminal related functionality in the future.☆15Nov 11, 2019Updated 6 years ago
- Celestia Data Availability Provider for the Arbitrum Nitro stack☆12Feb 26, 2026Updated last week
- Noir support for Zed☆11May 3, 2024Updated last year