Portable high-level assembler with authentic C syntax
☆25Jul 1, 2022Updated 3 years ago
Alternatives and similar repositories for magus
Users that are interested in magus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- AEGIS-256☆11Updated this week
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16May 21, 2025Updated 10 months ago
- Erlang BEAM emulator in Haskell☆48Jun 14, 2014Updated 11 years ago
- Audio encoding authentication and validation library for verifying audio as being from a trusted source☆15Jan 6, 2024Updated 2 years ago
- Dictionary compressor with nibbled ANS and optimal parsing. Other compression experiments.☆26Apr 13, 2025Updated last year
- 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.
- Manage CloudFormation Stacks through specifications☆13Mar 28, 2026Updated 2 weeks ago
- An old and good virtual keyboard☆18Sep 16, 2025Updated 6 months ago
- Old DOS 3D modelling program written in Pascal & Assembler☆21Jun 16, 2021Updated 4 years ago
- x86 assembler in 512 bytes of x86 machine code☆38Dec 1, 2019Updated 6 years ago
- Anders: Cubical Type Checker☆23Oct 23, 2023Updated 2 years ago
- Mu is a modern, modular, system programming language and scripting toolchain☆12Jan 13, 2016Updated 10 years ago
- A 3D game engine written in Haskell and OpenGL Shading Language. The goal is to make a 3D tribute to ZZT, including a game creation syst…☆47Mar 29, 2026Updated 2 weeks ago
- Tetris in a small virtual machine (11 lines of C)☆22Oct 27, 2024Updated last year
- Prove formulas of Presburger Arithmetic☆12Oct 5, 2024Updated last year
- 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.
- Fast vectorized (SSE 4.1) range coder for 8-bit alphabets☆29May 12, 2023Updated 2 years ago
- your dynamic optimization buddy☆27Sep 20, 2019Updated 6 years ago
- Tool and library for generating X.509 certificates and certificate requests (mirror)☆16Mar 19, 2026Updated 3 weeks ago
- Reversing tools for manipulating Golden Time: Vivid Memories game assets☆10Oct 17, 2024Updated last year
- LaunchDarkly Server-Side SDK for Haskell☆15Apr 6, 2026Updated last week
- A small, powerful, open-source CLI coding agent that works with open models.☆57Updated this week
- A complete (FP optional), portable implementation of stdio including printf, scanf, etc. No malloc() or static buffers.☆18Apr 16, 2025Updated 11 months ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 8 years ago
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Aug 8, 2018Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Apr 20, 2018Updated 7 years ago
- Bootable emulator for the Dawn Operating System for x86.☆41Jan 10, 2026Updated 3 months ago
- Doom - reimplemented cleanly, in C++, without all the obscuring optimizations☆12Jan 9, 2015Updated 11 years ago
- The fractal land generator☆15Aug 3, 2019Updated 6 years ago
- A collection of freely-licensed js1k entries☆10Feb 29, 2016Updated 10 years ago
- Demonstrating how to make type families faster using typechecker plugins☆21Dec 29, 2020Updated 5 years ago
- Optimized JSON in C☆36Apr 24, 2024Updated last year
- A neural network written in pure Lisp without built-in numbers☆44Jan 21, 2022Updated 4 years ago
- It's a CP/M 2.2 Emulator for Win32/64 and Linux☆11May 11, 2024Updated last year
- 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.
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆17Aug 19, 2024Updated last year
- Ultra-tiny forth implementation in GNU C99. A microscopic simplified forth, designed to be as simple, extensible, and readable as possibl…☆36Nov 13, 2024Updated last year
- Is a nexus ui + tone js based, obscure musical sequencer.☆14Mar 25, 2021Updated 5 years ago
- Bootstrapped compiler of a C-like but Python-looking language☆47Dec 21, 2017Updated 8 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Sep 29, 2022Updated 3 years ago
- Elixir FUSE (Filesystem in Userspace) interface☆14Jun 22, 2019Updated 6 years ago
- A Lisp interpreter that displays the contents of the Lisp workspace on an OLED display☆16Aug 14, 2019Updated 6 years ago