CAS (Computer Algebra System) written in Rust for no_std environments.
☆16Feb 8, 2023Updated 3 years ago
Alternatives and similar repositories for citrus-cas
Users that are interested in citrus-cas are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Operating system written in Rust for NumWorks calculator (model n0110)☆41Jun 7, 2023Updated 2 years ago
- An open-source boot rom for the ez80 microprocessor.☆13Jul 14, 2025Updated 8 months ago
- the Oasis programming language☆21Sep 10, 2022Updated 3 years ago
- Reference compiler for c0☆39Dec 11, 2025Updated 3 months ago
- Upsilon Workshop is a website to create and share projects for the Numworks calculator.☆19Updated this week
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Tools and code snippets I'm playing with while building my own Z80 SBC☆16Sep 28, 2025Updated 6 months ago
- ☆17Jul 8, 2023Updated 2 years ago
- A WIP compiler for a functional language. Very incomplete!☆16Nov 6, 2021Updated 4 years ago
- An S80 Single Board Retro Computer☆21Mar 30, 2020Updated 6 years ago
- Various mechanized proof files for fun.☆13Mar 9, 2026Updated 3 weeks ago
- Ideas, documents, and tutorial pile for the Prowl Language☆12Aug 2, 2024Updated last year
- A deprecated equality saturation tactic for Lean based on egg.☆82Mar 2, 2026Updated 3 weeks ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Tiger Compiler implemented in F#☆11Jul 11, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Floating-Point Arithmetic Library for Z80☆25Sep 11, 2023Updated 2 years ago
- A useless 16 bit OS. I can't even call it an OS for now.☆12Jan 25, 2023Updated 3 years ago
- Rust DFU protocol implementation for usb-device☆22Apr 21, 2024Updated last year
- An esoteric programming language with just two data types: null and tape☆11Jan 31, 2024Updated 2 years ago
- Shumway is a Flash VM and runtime written in JavaScript☆10Sep 11, 2019Updated 6 years ago
- A context-oriented programming language with support for multiple programming paradigms with a focus on context oriented programming.☆14Feb 25, 2026Updated last month
- LiveView Chat App with TailwindCSS and POW Auth Boilerplate☆12Mar 22, 2022Updated 4 years ago
- A tool to annotate Z80 assembler with cycle counts☆31Dec 25, 2023Updated 2 years ago
- demonstrating shunting yard algorithm and evaluation of arithmetic expressions☆15Jan 11, 2025Updated last year
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Edina - A simple stack-oriented compiled programming language.☆13Jun 8, 2023Updated 2 years ago
- racket llvm C-API bindings☆17Feb 7, 2026Updated last month
- External application installer for n0110 calculators☆15Jan 20, 2026Updated 2 months ago
- The porting of Numworks Ion module, for PC.☆15Sep 30, 2025Updated 6 months ago
- Unofficial 4chan read-only client for iPhone and iPad☆10May 18, 2022Updated 3 years ago
- Formalising the WASM spec in Lean☆30Nov 14, 2025Updated 4 months ago
- ☆12Sep 21, 2025Updated 6 months ago
- Omega-Bot for Discord, v2!☆14Apr 20, 2023Updated 2 years ago
- reworking quest, but faster☆10Jul 26, 2025Updated 8 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- A proof-of-concept parser for the Prolog programming language, at the Bern University of Applied Sciences for the course "Automata and fo…☆11Jan 17, 2014Updated 12 years ago
- Statistical Phonotactics-Aware Word Generation System☆21Nov 23, 2015Updated 10 years ago
- A Gameboy Color emulator for the Numworks graphing calculator☆15Sep 11, 2022Updated 3 years ago
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆16Mar 4, 2024Updated 2 years ago
- a new evolutionary highlevel and readable tape language (unlike brainf)☆19Dec 29, 2022Updated 3 years ago
- Porting GW-BASIC from 8086 back to the Z80☆39Oct 12, 2022Updated 3 years ago
- Bad apple! on the Numworks☆17Apr 29, 2021Updated 4 years ago