The first compiler that imports code from any compiled language
☆164Feb 8, 2026Updated 2 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:
- C compiler Implemented in C☆22Jun 5, 2025Updated 10 months ago
- The Pulse separation logic DSL for F*☆34Apr 4, 2026Updated last week
- A prototype to write blog posts with executable ocaml code blocks☆10Apr 25, 2025Updated 11 months ago
- TensaLang is a Tensor-first programming language, compiler, and runtime that let you write the Model’s inference engine (e.g. LLMs) and s…☆74Feb 20, 2026Updated last month
- A collection of fun logic puzzles solved in Prolog, demonstrating the power of logic programming for solving complex reasoning problems.☆21Jul 26, 2025Updated 8 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Aim to be a simple, easy-to-use programming language. Let's write relatively safe code without too much cognitive load.☆24Apr 1, 2026Updated 2 weeks ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆78Jan 20, 2022Updated 4 years ago
- A template for easy c/c++ project setup using zig☆20Mar 27, 2026Updated 2 weeks ago
- EeZee Language - Compiler Engineering Basics☆36Feb 23, 2026Updated last month
- MQTT client for OCaml☆25Apr 6, 2024Updated 2 years ago
- alic: A Language Inspired by C☆104Aug 12, 2025Updated 8 months ago
- The Plaid Programming Language Tools☆13Apr 11, 2015Updated 11 years ago
- For hosting ATS3 and developing CodeDepot☆18Updated this week
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆33Jan 12, 2025Updated last year
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Various examples of functionality in Eve and how to build apps.☆14Mar 20, 2017Updated 9 years ago
- Rust library to interact with Bluetooth devices via RFCOMM channels☆11Jun 6, 2022Updated 3 years ago
- introduction to dataflow analysis using julia☆14Oct 26, 2020Updated 5 years ago
- Code snippets and reproductions from JustAByte☆35Apr 6, 2026Updated last week
- Experimental Vim key bindings for Godot's built-in script editor.☆10Jan 3, 2022Updated 4 years ago
- Type-safe language for building APIs fast. Auth, CRUD, and deployment built-in, written in rust & llvm☆29Apr 7, 2026Updated last week
- Writeup that goes along with this:☆41Jan 18, 2018Updated 8 years ago
- A relational logic programming language embedded in Rust.☆12Aug 15, 2025Updated 8 months ago
- A radical OCaml build system☆123Feb 25, 2026Updated last month
- 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.
- Glide programming language☆21Apr 7, 2023Updated 3 years ago
- Edit by Example - automated file editing just from given examples.☆16May 14, 2022Updated 3 years ago
- 🐫🎮 OCaml Game Engine☆44Mar 20, 2025Updated last year
- Jacy programming language☆13Apr 26, 2022Updated 3 years ago
- Edina - A simple stack-oriented compiled programming language.☆15Jun 8, 2023Updated 2 years ago
- Implementation of HashMap and HashSet for no_std environments☆19Aug 19, 2019Updated 6 years ago
- paredit-like commands for C-like languages☆24Aug 16, 2020Updated 5 years ago
- FFmpeg bindings for NodeJS☆11Jun 22, 2016Updated 9 years ago
- A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language☆15Sep 16, 2021Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A Guix dashboard for GToolkit☆14Apr 14, 2023Updated 3 years ago
- linear concat language☆43Updated this week
- A programming language for people who like to know what their code is doing.☆79Updated this week
- A WIP little dependently-typed systems language☆41Aug 13, 2024Updated last year
- ☆13Feb 9, 2023Updated 3 years ago
- Godot Variant Notation☆10Jan 24, 2024Updated 2 years ago
- Mewl, program in cats' language; A just-for-fun language☆18Sep 20, 2022Updated 3 years ago