The first compiler that imports code from any compiled language
☆166Jul 25, 2026Updated 3 months ago
Alternatives and similar repositories for glu
Users that are interested in glu are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Data-oriented systems programming language for high-throughput, deterministic compute pipelines, enforcing a straight-line SIMD execution…☆12Sep 24, 2026Updated last month
- General-purpose programming language for data-oriented design.☆28May 8, 2026Updated 5 months ago
- A programming language where the GPU is just another thread☆58Sep 23, 2026Updated last month
- A programming language with only one instruction☆14May 28, 2026Updated 5 months ago
- The Pulse separation logic DSL for F*☆36Sep 21, 2026Updated last month
- 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.
- An example on how to write an incremental, concurrent, fault-tolerant compiler☆69Jun 30, 2025Updated last year
- Generic pretty-printer for program output☆12Jul 19, 2025Updated last year
- Open evidence profile for MCP tool actions. Enforce configured tool-call policies and record decisions and observations in offline-verifi…☆15Updated this week
- A systems programming language with no hidden behavior.☆140Updated this week
- A C++ wrapper for the Apple metal-cpp library to make it easier to run compute kernels on the GPU☆11Jun 11, 2025Updated last year
- a Simple Hackable Interpreter☆13Aug 11, 2025Updated last year
- A language that can program itself☆10Oct 25, 2026Updated last week
- A prototype to write blog posts with executable ocaml code blocks☆10Apr 25, 2025Updated last year
- Examples of computing over encrypted or private data☆15Feb 15, 2026Updated 8 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- OrangePi by Allwinner H3 miscellany☆11Feb 15, 2022Updated 4 years ago
- Design specification language for rapid, comprehensive system modeling.☆20Updated this week
- A safe and efficient target language for functional compilers☆20May 5, 2018Updated 8 years ago
- An experimental language whose object system is a topos: places are pre-sheaves, values are content-addressed on the Leech lattice, and t…☆27Updated this week
- Utilities for making your applications more debuggable.☆16Jun 4, 2026Updated 5 months ago
- C, but with function overloading, operator overloading, modules (kind of), templates (kind of), and uniform function call syntax (and a g …☆14Jul 30, 2024Updated 2 years ago
- a modern & comfy interpreted scripting language☆26Dec 11, 2025Updated 10 months ago
- ☆10Dec 15, 2023Updated 2 years ago
- Fir programming language☆100May 11, 2026Updated 5 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.
- A collection of fun logic puzzles solved in Prolog, demonstrating the power of logic programming for solving complex reasoning problems.☆21Jul 26, 2025Updated last year
- Main repository for the Asp Scripting Platform for embedded systems. Includes the Asp engine, compiler, and other tools. MIT license.☆20Aug 25, 2026Updated 2 months ago
- A boringly simple configuration file☆12Jul 31, 2026Updated 3 months ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆82Jan 20, 2022Updated 4 years ago
- This repository is a collection of assets and scripts used in the creation of Rolling Rhino Remix (Ubuntu Desktop Edition). We have a ful…☆17Aug 7, 2022Updated 4 years ago
- The 1SubML programming language - unified module and value language, structural subtyping, global type inference, higher rank polymorphic…☆61Updated this week
- Type-safe Tailwind CSS in OCaml - A lightweight utility-first CSS generation library with prose typography support, responsive modifiers…☆31Oct 27, 2026Updated last week
- 通話に誰か入ってきた時に音楽を流す☆11Sep 13, 2020Updated 6 years ago
- The Quark Programming Language☆19Mar 18, 2026Updated 7 months 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.
- Idris GraphQL☆17Dec 16, 2017Updated 8 years ago
- Scientific Programming Language☆13Oct 9, 2026Updated 3 weeks ago
- A software of social media.☆32Jan 29, 2026Updated 9 months ago
- Hypercard-like game engine☆14Feb 7, 2024Updated 2 years ago
- Compiler for the Basalt programming language, a type-safe, general-purpuse, low-level language compiled directly to machine code☆16Mar 11, 2025Updated last year
- A workspace management tool for multi-package Gleam projects.☆17Updated this week
- WHEN: A domain-specific language for reactive programming with implicit iteration, lifecycle management, and Python interoperability. lo…☆24Sep 26, 2025Updated last year