CAS (Computer Algebra System) written in Rust for no_std environments.
☆17Feb 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:
- An open-source boot rom for the ez80 microprocessor.☆13Jul 14, 2025Updated 11 months ago
- esbuild plugin for stylus files☆10May 13, 2025Updated last year
- Multi-channel EEP Engine Program: advanced 1-bit sound engine for 83+/84+ series of calculators (except regular 83+)☆13Mar 31, 2024Updated 2 years ago
- the Oasis programming language☆21Sep 10, 2022Updated 3 years ago
- Reference compiler for c0☆42Apr 7, 2026Updated 3 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.
- Generate Java Classes for the Minecraft Protocol from json [No Maintenance Intended]☆16Oct 16, 2015Updated 10 years ago
- Change Chines Id to International for Meizu phones.☆10Oct 10, 2018Updated 7 years ago
- Upsilon Workshop is a website to create and share projects for the Numworks calculator.☆19Jun 29, 2026Updated last week
- Tools and code snippets I'm playing with while building my own Z80 SBC☆16Sep 28, 2025Updated 9 months ago
- ☆17Jul 8, 2023Updated 3 years ago
- Test ISIRs for the 2024-25 FAFSA Award Year with standalone tools to view and validate ISIRs and to assist with creating mock data for te…☆26Aug 28, 2024Updated last year
- An S80 Single Board Retro Computer☆21Mar 30, 2020Updated 6 years ago
- Various mechanized proof files for fun.☆15Jun 6, 2026Updated last month
- Ideas, documents, and tutorial pile for the Prowl Language☆12Aug 2, 2024Updated last year
- 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.
- Python decorator that notifies via email the termination of a function☆12Feb 1, 2017Updated 9 years ago
- A deprecated equality saturation tactic for Lean based on egg.☆87Jun 17, 2026Updated 3 weeks ago
- 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☆23Apr 21, 2024Updated 2 years ago
- An esoteric programming language with just two data types: null and tape☆11Jan 31, 2024Updated 2 years ago
- LiveView Chat App with TailwindCSS and POW Auth Boilerplate☆12Mar 22, 2022Updated 4 years ago
- Web-based NumWorks calculator OS updater (WebDFU fork)☆13Oct 6, 2023Updated 2 years ago
- A tool to annotate Z80 assembler with cycle counts☆30Dec 25, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- demonstrating shunting yard algorithm and evaluation of arithmetic expressions☆15Jan 11, 2025Updated last year
- racket llvm C-API bindings☆17Feb 7, 2026Updated 5 months ago
- A script to dynamically change your wallpaper with a travel photo by Richard Stallman.☆12May 3, 2021Updated 5 years ago
- External application installer for n0110 calculators☆15Apr 7, 2026Updated 3 months ago
- The porting of Numworks Ion module, for PC.☆15Sep 30, 2025Updated 9 months ago
- Improved type safety with tight TypeScript interop☆14Feb 17, 2025Updated last year
- Unofficial 4chan read-only client for iPhone and iPad☆10May 18, 2022Updated 4 years ago
- concise functionless functional esolang☆14Jan 18, 2026Updated 5 months ago
- Formalising the WASM spec in Lean☆30Nov 14, 2025Updated 7 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Edina - A simple stack-oriented compiled programming language.☆15Jun 8, 2023Updated 3 years ago
- ☆12Sep 21, 2025Updated 9 months ago
- Omega-Bot for Discord, v2!☆14Apr 20, 2023Updated 3 years ago
- reworking quest, but faster☆11Jul 26, 2025Updated 11 months ago
- Filters out push events for specific repositories/branches from a GitHub webhook☆11May 19, 2021Updated 5 years ago
- This extension automatically block anyone who has an hexagon-shaped profile picture on Twitter.☆15Jan 26, 2022Updated 4 years ago
- r86 is a 8086 real mode programming language which supports segmentation☆20Jun 17, 2022Updated 4 years ago