The first compiler that imports code from any compiled language
☆162Feb 8, 2026Updated 3 weeks ago
Alternatives and similar repositories for glu
Users that are interested in glu are comparing it to the libraries listed below
Sorting:
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆13Updated this week
- TensaLang is a Tensor-first programming language, compiler, and runtime that let you write the Model’s inference engine (e.g. LLMs) and s…☆71Feb 20, 2026Updated 2 weeks ago
- 🈚みたいな画像を作るやつ☆16Mar 5, 2023Updated 3 years ago
- The Pulse separation logic DSL for F*☆34Feb 28, 2026Updated last week
- EeZee Language - Compiler Engineering Basics☆36Feb 23, 2026Updated last week
- シャニマスのSTEPシナリオにおいて、特化パラメータの最大値を試算するためのシミュレータです☆11Jul 12, 2022Updated 3 years ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆79Jan 20, 2022Updated 4 years ago
- Automatic Generation of Benchmarks to Stress-Test Computing Systems.☆42Feb 24, 2026Updated last week
- Check and transform Lisp code with Comby (beta)☆28Jan 18, 2025Updated last year
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- A software of social media.☆31Jan 29, 2026Updated last month
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆33Jan 12, 2025Updated last year
- My personal site.☆10Feb 23, 2026Updated last week
- bayesPop R package☆11Feb 23, 2026Updated last week
- A statically typed Lisp dialect with algebraic effect system compiling to Javascript☆41Jan 27, 2026Updated last month
- A C++ template library for polynomials algebra over discrete integral domains☆11May 9, 2025Updated 9 months ago
- WARNING: this requires a 32 bit build of node on osx! (tested only on osx)☆14Oct 24, 2011Updated 14 years ago
- CMake dependency tracking library☆13Feb 22, 2026Updated last week
- Concept Application Server☆12Feb 22, 2026Updated last week
- Language mixing functional programming and Ambient Calculus☆12Dec 10, 2024Updated last year
- ShootingStar for iOS☆22Jul 6, 2014Updated 11 years ago
- Sources of the EuroProofNet web site.☆13Updated this week
- Async .NET implementation of the BOINC GUI RPC protocol☆12Feb 28, 2026Updated last week
- hitchhiker Prolog - an implementation of a novel virtual machine☆12May 6, 2023Updated 2 years ago
- ☆11Oct 16, 2019Updated 6 years ago
- ☆10Feb 9, 2022Updated 4 years ago
- A proof-of-concept formal verification tool for WebAssembly.☆10Mar 3, 2024Updated 2 years ago
- Secure, isolated, resource-metered, deterministic JS eval☆10Jun 23, 2024Updated last year
- A federated platform for building communities.☆10Mar 31, 2021Updated 4 years ago
- Berlin Buzzwords 2023 - Laptop-sized ML for Text, with Open Source - Code☆12Oct 9, 2023Updated 2 years ago
- 🌌 gleam gemini server library☆11Nov 27, 2024Updated last year
- Protocol for transparent collections of files.☆12Aug 13, 2025Updated 6 months ago
- Supports building and loading optimized WebAssembly ( powered by emscripten toolchain )☆10Dec 14, 2018Updated 7 years ago
- 🖼️📏 Web app to liven your photos with a glitch effect☆16Updated this week
- DependoBuf - a data serialization format with dependent types☆16Nov 9, 2024Updated last year
- Version 2 of Intl Segmenter. Adding line break support.☆12May 10, 2022Updated 3 years ago
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- Customized Mastodon☆11Aug 22, 2018Updated 7 years ago
- For hosting ATS3 and developing CodeDepot☆18Feb 6, 2026Updated last month