an optimizing curry compiler
☆15Nov 27, 2022Updated 3 years ago
Alternatives and similar repositories for rice
Users that are interested in rice are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Sep 22, 2020Updated 6 years ago
- Summer Scheming!!!!!!☆11Aug 20, 2020Updated 6 years ago
- Unified Maude model-checking tool☆13Oct 18, 2026Updated 2 weeks ago
- File explorer for nvim and powered by rust☆12May 27, 2021Updated 5 years ago
- ☆11Oct 19, 2023Updated 3 years ago
- 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.
- A math expression parser built in Java.☆10Oct 24, 2021Updated 5 years ago
- platform that serves as a problem solver for college students, similar to Stack Overflow but with offline on-campus support and online an…☆11Jan 21, 2025Updated last year
- Our project aims to address the healthcare challenges in rural India by introducing an AI Assisted Tele-medicine Kiosk. This Kiosk is des…☆11Jan 18, 2024Updated 2 years ago
- Gray code, also known as reflected binary code, is a binary code system used in digital communication, mathematical operations, and elect…☆10Feb 11, 2023Updated 3 years ago
- In optimization, linear search is a simple method to find the minimum or maximum value of a function by repeatedly moving in a particular…☆10Feb 11, 2023Updated 3 years ago
- Binary search is a search algorithm used to find the position of a target value within a sorted list or array. The algorithm works by rep…☆10Feb 11, 2023Updated 3 years ago
- Still working on it.☆10Feb 15, 2023Updated 3 years ago
- Still working on it.☆10Feb 15, 2023Updated 3 years ago
- A POC of writing Gradle tasks using wasm as implementation☆11Feb 21, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Operations with matrices, SWI pack☆13Dec 11, 2023Updated 2 years ago
- Soft debugger client for Unity☆12Feb 1, 2011Updated 15 years ago
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Feb 13, 2025Updated last year
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆16Feb 15, 2025Updated last year
- ☆11Apr 1, 2024Updated 2 years ago
- To Do list☆11Jul 27, 2023Updated 3 years ago
- ☆11Jan 24, 2024Updated 2 years ago
- My Portfolio Web-site☆11Jul 26, 2023Updated 3 years ago
- Woking on case Study Of Iot☆11May 17, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- My Portfolio Web-site☆11Dec 28, 2023Updated 2 years ago
- Sudhanshu Weather☆11Jul 26, 2023Updated 3 years ago
- ☆11Dec 26, 2023Updated 2 years ago
- ☆11Feb 12, 2023Updated 3 years ago
- Its basically code for HackerRank Md5 java code which is for 30 Points☆11Feb 23, 2023Updated 3 years ago
- Ml model for arogyam☆11Dec 13, 2024Updated last year
- ☆11Oct 19, 2023Updated 3 years ago
- Optimize tasks through workflows, data integration, and automation. Enable easy data access, personalized dashboards, and reduce mistakes…☆11Dec 24, 2023Updated 2 years ago
- ☆12Updated this week
- 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.
- A Lean (4) type checker written in RPython☆11Oct 26, 2026Updated last week
- ☆15Jan 31, 2021Updated 5 years ago
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago
- Quiz Website☆12Jul 27, 2023Updated 3 years ago
- CollegeWellbeing-SupportSystem Welcome to the College Wellbeing Support System, a comprehensive initiative aimed at addressing and preve…☆13Aug 30, 2024Updated 2 years ago
- ☆12Jan 26, 2024Updated 2 years ago
- Collection of Idris snippets☆26Dec 23, 2025Updated 10 months ago