☆74Apr 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
- Demo multiboot kernel☆13Jun 18, 2013Updated 13 years ago
- clustering algorithm implementation☆13Oct 19, 2026Updated 2 weeks ago
- Repo for the Lean code from the video "Is This the End of Handwritten Math? Introducing Lean"☆14Nov 1, 2025Updated last year
- A Lean 4 / Mathlib formalization of Coarse-Graining Theory for Elliptic Equations (Armstrong and Kuusi). No sorry, no custom axiom.☆17Oct 5, 2026Updated 3 weeks ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- let a million languages bloom☆25Apr 20, 2025Updated last year
- ☆11Apr 8, 2023Updated 3 years ago
- implementation of Franck Farris recipes to produce wallpaper patterns☆11Mar 26, 2024Updated 2 years ago
- Solutions to Imperial College London's Natural Number Game, a gamified formal mathematics course on the Peano axioms using an interactive…☆24Dec 12, 2021Updated 4 years ago
- UDP/IP Core☆12Jul 17, 2014Updated 12 years ago
- Anagram game for Android built with Unity☆11May 13, 2016Updated 10 years ago
- Luminique is a C bytecode interpreted language with a Javascript like syntax.☆10Oct 16, 2024Updated 2 years ago
- Formalising lecture notes from 1st year Imperial Mathematics course.☆14May 18, 2020Updated 6 years ago
- A very simple CPU path tracer.☆21Oct 23, 2025Updated last year
- 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.
- Generates new movie ideas.☆19Aug 5, 2018Updated 8 years ago
- polymorphism with value semantics (based on std::variant)☆12Sep 7, 2016Updated 10 years ago
- Exponent pair database☆85Updated this week
- An experiment in implementing a GUI code editor from scratch☆11Oct 6, 2026Updated 3 weeks ago
- A high-level functional programming language☆13Sep 21, 2026Updated last month
- garbled-snark-verifier repository☆18May 27, 2026Updated 5 months ago
- My proposals for the C++ standard☆13Jul 15, 2026Updated 3 months ago
- Bayesian Elo Rating estimator☆14Jul 2, 2015Updated 11 years ago
- Improved type safety with tight TypeScript interop☆14Feb 17, 2025Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Order random boba☆14Jul 7, 2019Updated 7 years ago
- Code for the manim animations in my Youtube Videos☆39Sep 26, 2026Updated last month
- A header-only multiplatform entry point for Apps written in C++☆18Jan 15, 2018Updated 8 years ago
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆17Jan 7, 2022Updated 4 years ago
- Official website of the corrode Rust Consultancy☆18Updated this week
- Source code of Mathematical Surprises (open access)☆18Mar 24, 2025Updated last year
- A complete Lean 4 formalization of the Kakeya set problem over finite fields☆23Dec 16, 2025Updated 10 months ago
- personal website powered by a Hakyll compiler that renders pages with Typst☆14Updated this week
- Good 4D Model Format (G4MF) - `.g4tf` and `.g4b` files☆12Oct 5, 2026Updated 3 weeks 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.
- Yet Another Finite Element Library☆10Sep 3, 2020Updated 6 years ago
- 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
- An implementation of the Meshless Voronoi algorithm (see: https://hal.inria.fr/hal-01927559/file/voroGPU.pdf)☆24Nov 18, 2024Updated last year
- Cross-platform GPU texture sharing between local processes — alternative to Syphon and Spout☆14Jun 16, 2026Updated 4 months ago
- A typst to html compiler for hugo☆17May 16, 2025Updated last year
- Hey gamers have you just been struggling to figure out how to do compute-shadery things in VRC so you can make gamer fuel?☆12May 15, 2024Updated 2 years ago
- youtube video renderer☆1,807Updated this week