🍓 A toy object-oriented programming language written by rust
☆17Apr 10, 2024Updated 2 years ago
Alternatives and similar repositories for strawberry
Users that are interested in strawberry are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Your NetEase Cloud music☆14Feb 5, 2023Updated 3 years ago
- Lemon is an LALR(1) parser generator for C or C++.☆17Jun 10, 2014Updated 12 years ago
- Knowledge transfer from high-resource to low-resource programming languages for Code LLMs☆18Aug 12, 2025Updated last year
- TypeScript compiler and JavaScript engine in Lean☆68Oct 12, 2026Updated 3 weeks ago
- ☆24Sep 16, 2026Updated last month
- 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 compiler that converts ML models to optimized executables☆10Dec 25, 2024Updated last year
- ☆25Oct 28, 2026Updated last week
- [ASPLOS 2026, Best Paper Honorable Mention] Highly Automated Verification of Security Properties for Unmodified System Software☆21Oct 21, 2026Updated 2 weeks ago
- A revolt client made in rust☆14Jan 9, 2023Updated 3 years ago
- Use X4M05 UWB radar readings to recover voice from speaker vibration☆11Jan 28, 2021Updated 5 years ago
- neuralnet.cpp 是一个轻量级 C++ 神经网络框架，适合从零理解训练、推理和模型部署，也可以用于嵌入式或微型 AI 服务场景。☆16Updated this week
- ☆17Oct 28, 2026Updated last week
- ☆58Aug 18, 2021Updated 5 years ago
- A DNS-over-TLS (DoT) Proxy, Engineered for Speed☆24Oct 25, 2026Updated last 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.
- What's the issue with rust hashmaps?☆16Feb 24, 2023Updated 3 years ago
- Lock-free queues.☆21Dec 10, 2023Updated 2 years ago
- A minimal Kernel written in Rust☆45Oct 31, 2024Updated 2 years ago
- keyboard controller firmware for Atmel AVR and ARM USB families☆15May 3, 2024Updated 2 years ago
- A toy nanopass compiler for x86 written in lean☆15Oct 25, 2025Updated last year
- Quick Reference for C++.☆11Jan 3, 2021Updated 5 years ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 5 years ago
- A set of tools to automatically sync your Steam library with Sunshine☆11Dec 28, 2024Updated last year
- A Rational Defense of Reasonable Reflection (LICS'26 Keynote)☆10Jul 21, 2026Updated 3 months 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.
- effect monkey lang interpreter☆12Jul 23, 2025Updated last year
- Safe high-level bindings for the Boolector SMT solver☆14Apr 5, 2022Updated 4 years ago
- [NSDI '25] Network Decision Diagram (NDD) is a new decision diagram. Different from the classical Binary Decision Diagram (BDD), where e…☆20Updated this week
- Bytecode based Fuzzer for the PHP language☆12Jul 22, 2020Updated 6 years ago
- ☆12Oct 18, 2026Updated 2 weeks ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 7 years ago
- An example repository for @matklad's cargo xtask pattern☆12Aug 20, 2025Updated last year
- A Rust implementation of a client for communicating with esbuild's service API over stdio☆12Sep 26, 2026Updated last month
- A View Model framework written in rust, inspired by Next.js.☆10May 29, 2023Updated 3 years ago
- AI Agents on 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.
- A transducer library for Rust☆10May 22, 2016Updated 10 years ago
- My solutions for the rustlings tutorials (https://github.com/rust-lang/rustlings)☆14May 21, 2019Updated 7 years ago
- Common Lisp implementation of delta debugging☆13Jun 26, 2018Updated 8 years ago
- This is repository has all files and instructions needed for data mining class.☆15Jul 12, 2025Updated last year
- µKanren in JavaScript☆13Jan 22, 2014Updated 12 years ago
- System FR: Formalized Foundations for Stainless☆12Feb 2, 2026Updated 9 months ago
- ☆11Mar 8, 2025Updated last year