☆11Sep 18, 2026Updated last month
Alternatives and similar repositories for openmath
Users that are interested in openmath are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Jan 4, 2026Updated 9 months ago
- Programming with Spaces in Go☆15Apr 29, 2018Updated 8 years ago
- Official Code Repositiry for "RaDeR: Reasoning-aware Dense Retrieval Models" accepted at Main Conference EMNLP 2025☆18Jun 23, 2025Updated last year
- CloudZero Account provisioning automation for AWS☆15Jun 24, 2026Updated 4 months ago
- Shapefile (geospatial vector data) reader for Go.☆10Dec 30, 2021Updated 4 years ago
- 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.
- minimal example of an alt1 app using the new libraries/webpack/typescript☆14Jun 21, 2023Updated 3 years ago
- Library to admin/control using automation and Python on PiKVM☆24Oct 20, 2025Updated last year
- Website for AsciiMath☆14Apr 14, 2026Updated 6 months ago
- RTL-SDR Package for Go☆18Sep 10, 2024Updated 2 years ago
- Easy way to get started using Claude Code and the CloudZero MCP server to analyze your cloud cost.☆25Oct 13, 2026Updated 2 weeks ago
- SMS App for Poker Odds. Runs on Flask + Twilio + Heroku.☆19Apr 14, 2016Updated 10 years ago
- a Vim plugin to open a help topic randomly☆11Jan 15, 2014Updated 12 years ago
- New repository for the No Hats mod.☆15Dec 27, 2018Updated 7 years ago
- Repository for storing exercises from Java: How to program book from Deitel 10th edition.☆21Oct 4, 2019Updated 7 years ago
- 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.
- Deprecated, use @tailwindcss/typography.☆13Apr 5, 2024Updated 2 years ago
- All "Java: How to program" 10th edition by Deitel & Deitel exercises I attempted.☆20Oct 11, 2023Updated 3 years ago
- My homework from an Advanced Graphics class. This renders an MD5 model with OpenGL. It includes a bump-mapping shader as well as animatio…☆14Jul 5, 2012Updated 14 years ago
- LenovoH2O Bios Unlocker☆17Nov 14, 2025Updated 11 months ago
- ☆11Mar 14, 2024Updated 2 years ago
- scripts for Drafts actions I published☆14Apr 16, 2025Updated last year
- A repository with all the examples and exercises from Java textbook☆17Jan 24, 2018Updated 8 years ago
- E2E testing and monitoring for oxc☆13Updated this week
- Export your Kindle "My Clippings.txt" to Readwise☆10Aug 26, 2025Updated last year
- 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.
- This repo holds the material for the book "Generative AI Applications with Python"☆29Apr 7, 2025Updated last year
- javascript utilities☆14Oct 8, 2026Updated 2 weeks ago
- a quake live themed tf2 hud, forked from garm3nhud-ql.☆10Jan 12, 2025Updated last year
- A webapp made for musicians to practice on the metronome which can be made to accelerate tempo at specified intervals.☆17Sep 13, 2026Updated last month
- Apache Beam starter repo for Go☆11May 15, 2026Updated 5 months ago
- ☆16Dec 29, 2023Updated 2 years ago
- Lightweight OpenAI wrapper using FastAPI. Add rate limits to OpenAI usage, optionally log and store all API calls, and share regulated Op…☆15Feb 15, 2024Updated 2 years ago
- Perl script for replacing dollars in LaTeX documents by their LaTeX versions.☆14Aug 24, 2021Updated 5 years ago
- MaterialPro React Lite is easy to use React Dashboard Template by WrapPixel. you can download free and use in your personal and commercia…☆27May 20, 2026Updated 5 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.
- Curated list of open source alternatives to proprietary software.☆17May 19, 2026Updated 5 months ago
- ☆11Oct 26, 2025Updated last year
- ☆10Dec 12, 2023Updated 2 years ago
- 1st place Battlecode 2016 team "future perfect"☆24Feb 1, 2016Updated 10 years ago
- A kind synthetic Euclidean Geometry proof assistant☆45Oct 20, 2026Updated last week
- utils for daybrush☆12Jun 4, 2023Updated 3 years ago
- Interactive Protein Sequence VIsualization/Viewer - Interactive Circos☆11Jun 5, 2026Updated 4 months ago