θ A statically typed, functional programming language that compiles to WebAssembly
☆43Nov 3, 2024Updated 2 years ago
Alternatives and similar repositories for Theta
Users that are interested in Theta are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- KNN using brute force and ball trees implemented in Python/Cython☆12Mar 26, 2019Updated 7 years ago
- A port of ArithmeticExpressionCompiler from x86 to WebAssembly, so that the programs written in the language can run in a browser. The co…☆42Oct 10, 2026Updated 3 weeks ago
- A zed theme inspired by Gleam's colours☆14Jul 16, 2024Updated 2 years ago
- Bridging the gap between Wasm and native code☆19Oct 21, 2026Updated 2 weeks ago
- Script to display Markdown documents as static HTML pages☆10Oct 22, 2026Updated 2 weeks ago
- 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.
- Spectre programming language☆75Updated this week
- Atiny is a simple compiler for a ML like language☆11Aug 16, 2023Updated 3 years ago
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 3 years ago
- A modern take on an interpreted scripting language☆11May 8, 2025Updated last year
- Programming Language Void☆14Oct 21, 2026Updated 2 weeks ago
- Source code for the Pipefish programming language☆202Updated this week
- ☆11Feb 27, 2026Updated 8 months ago
- WASP was superseded by: https://github.com/OCamlPro/owi☆16Aug 28, 2024Updated 2 years 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.
- 🧊 An indexed construction of semi-simplicial and semi-cubical sets☆31Updated this week
- ☆17Sep 8, 2026Updated last month
- A basic programming language. The compiler is written in rust using LLVM as it's backend.☆14Sep 30, 2026Updated last month
- A flexible modeling notation Δ☆15Jul 29, 2026Updated 3 months ago
- An imperative, statically but weakly typed systems programming language with manual memory management.☆13Jul 15, 2023Updated 3 years ago
- The Evi programming language☆16Jun 17, 2022Updated 4 years ago
- ☆15Dec 7, 2022Updated 3 years ago
- CLI tool to convert CurseForge modpacks (.zip) to Modrinth format (.mrpack)☆13Feb 7, 2026Updated 8 months ago
- Arisztokréta: Nem hivatalos KRÉTA-kompatibilis ellenőrző alkalmazás☆16Jan 5, 2024Updated 2 years 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.
- RainLisp, a .NET LISP implementation.☆46Aug 1, 2026Updated 3 months ago
- Fir programming language☆100May 11, 2026Updated 5 months ago
- ☆10Apr 7, 2022Updated 4 years ago
- an app framework for making small and delicious games! (very wip)☆18Jun 27, 2022Updated 4 years ago
- A interpreted language called CPound!☆12Aug 26, 2024Updated 2 years ago
- C compiler in Zig☆22Jul 20, 2025Updated last year
- A work-in-progess programming language modeled after Ada and C++☆24Dec 11, 2022Updated 3 years ago
- Run code from many programming languages in Discord!☆17Jun 16, 2024Updated 2 years ago
- Work towards a "golden model" of the RISC-V calling convention(s)☆10Oct 2, 2017Updated 9 years ago
- 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.
- CPU emulator and assembler☆10Oct 22, 2021Updated 5 years ago
- ☆24Aug 14, 2026Updated 2 months ago
- Concolic Exection Engine for Golang☆10May 16, 2018Updated 8 years ago
- Gold draws from Monkey, the language featured in Thorsten Ball's books. While initially following its guidelines, Gold has (slightly) evo…☆10Jun 13, 2024Updated 2 years ago
- The Closey programming language☆14Jul 20, 2021Updated 5 years ago
- Find the most starred repositories per line of code in the language of your choice☆12Feb 14, 2024Updated 2 years ago
- A simple Programming Language Compiler to Lambda-Calculus, with a Lambda-Runtime☆14Oct 4, 2026Updated last month