☆43Jan 12, 2018Updated 8 years ago
Alternatives and similar repositories for CS500
Users that are interested in CS500 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- math puzzles from various sources, formalized in Lean☆10Oct 21, 2023Updated 2 years ago
- ☆14Sep 16, 2026Updated 3 weeks ago
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Jul 7, 2023Updated 3 years ago
- ☆11Oct 4, 2024Updated 2 years ago
- Bird-eye view map construction for a mobile robot based on RGB and point cloud input☆20Aug 5, 2022Updated 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.
- 🍱 Food Bank Data Bank☆10Oct 18, 2016Updated 9 years ago
- https://youtu.be/pE7UOYioPKk☆10Feb 16, 2023Updated 3 years ago
- ☆18Aug 1, 2026Updated 2 months ago
- ☆12Mar 29, 2023Updated 3 years ago
- // Packages : Archcraft Specific☆13Aug 12, 2026Updated last month
- This repository contains the example of JavaScript Promises and Operations☆11Sep 8, 2021Updated 5 years ago
- Resources that help engineers thrive in automated driving R&D☆21Oct 12, 2021Updated 4 years ago
- Implementation of paper - YOLOv7: Trainable bag-of-freebies sets new state-of-the-art for real-time object detectors☆13Feb 20, 2023Updated 3 years ago
- An interactive Agda tutorial☆28Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Cookiecutter project template for quickly setting up a simulation model library using Veins.☆16Dec 2, 2022Updated 3 years ago
- A transformer model to predict pathogenic mutations☆12Jun 25, 2025Updated last year
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆33Jan 17, 2022Updated 4 years ago
- LLM-based approach to find regression bugs. It checks the behavioral changes introduced by a pull request against its title, description,…☆18Mar 12, 2026Updated 6 months ago
- Throttle fetch() requests when accessing a rate-limited web service or to avoid http request crash☆12Jun 20, 2020Updated 6 years ago
- Evaluating and improving the faithfulness of the interpretations offered by Neural Module Networks☆13Jun 12, 2023Updated 3 years ago
- The "un-minimized" version of the PICO-8 game NanoMan☆30Mar 22, 2017Updated 9 years ago
- A Quiz Flutter app that uses Riverpod 2.0 & Freezed☆17Dec 25, 2022Updated 3 years ago
- A call to end Apache® Software Foundation's appropriation of Apache culture☆14Sep 9, 2026Updated last month
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆15Oct 19, 2020Updated 5 years ago
- Notes of PRNN course taught at IISC as part of MTech AI curriculum☆20Nov 30, 2024Updated last year
- Category theory but for kitty cats, meow 🐱🐈☆41Feb 16, 2026Updated 7 months ago
- Agda as a collaborative multiplayer game☆40Apr 24, 2026Updated 5 months ago
- ☆14May 8, 2025Updated last year
- Agent-OM: Leveraging LLM Agents for Ontology Matching☆26Oct 1, 2026Updated last week
- One design pattern for FastAPI web applications☆13Jun 22, 2026Updated 3 months ago
- Base definition of rk-boot plugins. rk-boot is a library to start goLang microservice from YAML☆11Jul 15, 2024Updated 2 years ago
- Change your Discord Rich Presence easily!☆14Nov 28, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Ensuring that Bash uses vi mode wherever I go.☆20Sep 9, 2026Updated last month
- Because NTU course selection system sucks☆15Nov 13, 2023Updated 2 years ago
- NOTE: This theme is no longer actively supported. Instead, consider using NationBuilder’s Bootstrap Framework for your custom theme.☆15Apr 3, 2015Updated 11 years ago
- Fine grained Empathy Direction Detection☆16Dec 11, 2020Updated 5 years ago
- ☆50Jun 27, 2022Updated 4 years ago
- ROS2 Support Package for Scout Robot☆25Apr 26, 2024Updated 2 years ago
- This repo contains all the code for the self-driving RC car that I am making as part of the #100DaysOfMLCode challenge. Follow my progres…☆19Jan 8, 2019Updated 7 years ago