☆73Apr 26, 2025Updated last year
Alternatives and similar repositories for Beryl
Users that are interested in Beryl are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A lightweight (8MB) implementation of the McIlroy-Tamayo Lempel-Ziv variation in Malbolge Unshackled.☆10Jul 11, 2025Updated last year
- let a million languages bloom☆25Apr 20, 2025Updated last year
- implementation of Franck Farris recipes to produce wallpaper patterns☆11Mar 26, 2024Updated 2 years ago
- Virtual notebook that Evan uses for his PhD thesis.☆12May 26, 2026Updated 4 months ago
- Anagram game for Android built with Unity☆11May 13, 2016Updated 10 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.
- A small compiler for the Prospero Challenge in Constructive Solid Geometry☆11Nov 28, 2025Updated 10 months ago
- On the Quartic Invariant of Odd Degree Binary Forms — paper, Lean formalization, and computational verification☆16Apr 16, 2026Updated 5 months ago
- Luminique is a C bytecode interpreted language with a Javascript like syntax.☆11Oct 16, 2024Updated last year
- An experiment in implementing a GUI code editor from scratch☆11Oct 6, 2026Updated last week
- Lean formalizations of the paper "We Can't Agree to Disagree, Formally: Aumann's Theorem and Assumption Accounting in Lean"☆22May 27, 2026Updated 4 months ago
- Automatic textbook formalization of Grinberg Algebraic Combinatorics☆27Apr 1, 2026Updated 6 months ago
- polymorphism with value semantics (based on std::variant)☆12Sep 7, 2016Updated 10 years ago
- My proposals for the C++ standard☆13Jul 15, 2026Updated 2 months ago
- Source code of Mathematical Surprises (open access)☆18Mar 24, 2025Updated last year
- 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 search engine built on the Unpaywall database☆20Mar 13, 2024Updated 2 years ago
- ☆16Updated this week
- [Cursed] Fabric's mostly-version-independent mod loader.☆14Apr 24, 2022Updated 4 years ago
- Bad Apple played as a Scrabble Bot☆20Jul 15, 2025Updated last year
- Improved type safety with tight TypeScript interop☆14Feb 17, 2025Updated last year
- A web UI that plots finite group Cayley Graphs in 3D☆21Oct 2, 2023Updated 3 years ago
- Asymptote preprocessor☆20Jul 22, 2026Updated 2 months ago
- XCSP3 Core Parser in C++☆20Sep 16, 2026Updated 3 weeks ago
- Generates poetic and though provoking sentences.☆30Sep 20, 2018Updated 8 years 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.
- ☆44Updated this week
- Use artificial vision to cheat in Biotronic☆36Feb 17, 2009Updated 17 years ago
- jetstream listener and ingester for teal dot fm☆15Apr 7, 2026Updated 6 months ago
- Personal blog about math and coding☆11Jul 28, 2026Updated 2 months ago
- Explore compiler optimizations around implementing simple kinematics☆22Jan 9, 2026Updated 9 months ago
- Boost Endian library☆50Aug 12, 2026Updated 2 months ago
- An online math contest platform☆20Sep 26, 2026Updated 2 weeks ago
- Makes BTW run as a hacky fabric mod☆13Sep 11, 2026Updated last month
- A language for abusing mathematical functions and writing things with them that were never meant to be written. It provides an interface …☆17Dec 11, 2025Updated 10 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- On-calc eZ80 assembly IDE for the TI-84+ CE/83 PCE.☆32Sep 13, 2026Updated last month
- Similar to python's `repr`, for c++☆32Apr 11, 2022Updated 4 years ago
- DIY Atari 2600+ Cart☆11Feb 10, 2024Updated 2 years ago
- An implementation of the FuzzyDBSCAN algorithm.☆13Nov 6, 2022Updated 3 years ago
- Official website of the corrode Rust Consultancy☆18Oct 6, 2026Updated last week
- Comparator-based Lean formal mathematics eval☆48Updated this week
- A Unity Editor tool designed to greatly speed up Avatar creation process for VRChat☆13Jun 23, 2025Updated last year