(WIP) A programming language
☆42Jan 12, 2025Updated last year
Alternatives and similar repositories for holymer
Users that are interested in holymer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Vari (Väri) is a Rust library for formatting strings with colors and cosmetic stuff to the terminal.☆14Jan 15, 2022Updated 4 years ago
- okta programming language compiler. THIS IS A MIRROR OF THE ORIGINAL REPO HOSTED IN SOURCEHUT.☆28May 1, 2022Updated 4 years ago
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆17Mar 4, 2024Updated 2 years ago
- A me maintained zub-vm fork. A super-fast, stack-based virtual machine for dynamic languages☆12Aug 9, 2025Updated 11 months ago
- A set of tools, components, and libraries for building interactive math applications.☆14Jan 3, 2025Updated last year
- 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.
- Collection of React Server tools☆15Jul 9, 2024Updated 2 years ago
- An experimental programming language for ergonomic software verification☆16Jul 6, 2026Updated 2 weeks ago
- Format Vue SFC☆11Nov 29, 2025Updated 7 months ago
- Learn to code with Wipple.☆38Updated this week
- A gradually-typed, functional scripting language with a friendly syntax and interpreter written in Rust!☆31Jan 8, 2022Updated 4 years ago
- System information☆22Updated this week
- Edina - A simple stack-oriented compiled programming language.☆15Jun 8, 2023Updated 3 years ago
- 🐍 A Python-like scripting language☆32Jun 8, 2020Updated 6 years ago
- a eslint plugin for detecting unused code in vue single file component☆10Mar 18, 2023Updated 3 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.
- Program analysis playground for a simple, imperative language☆38Jun 6, 2022Updated 4 years ago
- A View Model framework written in rust, inspired by Next.js.☆10May 29, 2023Updated 3 years ago
- Generic parse tree, configurable lexer, `lemon` parser generator, wrapped for C++17 and Python 3.☆15Apr 26, 2021Updated 5 years ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆33Jan 12, 2025Updated last year
- A highly experiment portable runtime☆22Apr 11, 2024Updated 2 years ago
- rv6 is a kernel & operating system written entirely in rust.☆11Nov 7, 2019Updated 6 years ago
- LISP INTERPRETER and TEXT EDITOR☆21Jul 12, 2024Updated 2 years ago
- A filesystem interface over http, with extras and docker support☆16Jul 7, 2024Updated 2 years ago
- ☆12Jul 7, 2025Updated last year
- 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.
- An Experimental TCP Tunnel using QUIC for Transport☆14Jul 9, 2026Updated 2 weeks ago
- c minus language implement by rust☆23Oct 26, 2024Updated last year
- based on ziutek's `Go bindings for GStreamer` and make some fixes☆11Feb 14, 2018Updated 8 years ago
- (WIP) Enact: A compiled programming language that's simple, familiar and fast.☆29Oct 11, 2020Updated 5 years ago
- Exploring awesome PL papers in redex☆20Mar 25, 2022Updated 4 years ago
- A type-checked alternative to cfg(feature)☆21Jun 5, 2025Updated last year
- https://github.com/mozilla/source-map for .NET, re-written in F#☆14Feb 17, 2022Updated 4 years ago
- A visually pleasing language for langjam 3☆16Jul 26, 2022Updated 3 years ago
- A prototope bootstrap project in xcode☆11Feb 1, 2016Updated 10 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- The OverScript programming language☆14Aug 21, 2022Updated 3 years ago
- Linearizability Hoare Logic☆17May 12, 2026Updated 2 months ago
- A compiler and toolchain for the Stream programming language☆16Sep 5, 2023Updated 2 years ago
- A small sheet you can share☆16Aug 25, 2015Updated 10 years ago
- Hacks helping with semi-almost-usable declarative NixOS sandboxing☆13Aug 14, 2024Updated last year
- Z80 diassembler/assembler/emulator in golang☆11Oct 28, 2024Updated last year
- ☆87Jun 14, 2022Updated 4 years ago