θ A statically typed, functional programming language that compiles to WebAssembly
☆43Nov 3, 2024Updated last year
Alternatives and similar repositories for Theta
Users that are interested in Theta are comparing it to the libraries listed below
Sorting:
- Programming Language Void☆14Updated this week
- KNN using brute force and ball trees implemented in Python/Cython☆12Mar 26, 2019Updated 6 years ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆13Updated this week
- Bridging the gap between Wasm and native code☆18Updated this week
- A port of ArithmeticExpressionCompiler from x86 to WebAssembly, so that the programs written in the language can run in a browser. The co…☆40Updated this week
- WASP was superseded by: https://github.com/OCamlPro/owi☆16Aug 28, 2024Updated last year
- A lightweight WAMR backend for Extism☆20Aug 9, 2024Updated last year
- An optimizing compiler for a large subset of the C programming language☆26Aug 30, 2025Updated 6 months ago
- Year 11 Physics, Applied. A collection of interactive demonstrations and physics simulations.☆17Jun 30, 2023Updated 2 years ago
- A little KV store implementation in OCaml to practice DB systems things☆33Jan 21, 2026Updated last month
- Reference counting with linear types☆32Feb 14, 2026Updated 3 weeks ago
- Source code for the Pipefish programming language☆182Updated this week
- A work-in-progess programming language modeled after Ada and C++☆25Dec 11, 2022Updated 3 years ago
- ☆26Aug 2, 2022Updated 3 years ago
- JavaScript projects for beginners.☆10Oct 26, 2022Updated 3 years ago
- Extism PDK for the MoonBit programming language.☆34Feb 15, 2026Updated 3 weeks ago
- Programming language with a tree-walking interpreter written in Rust©™.☆28Nov 12, 2021Updated 4 years ago
- A fast, zero dependency, single-header WebAssembly interpreter☆39Oct 10, 2023Updated 2 years ago
- Parse a structured json file to react component☆10Aug 20, 2021Updated 4 years ago
- Deploy to Vercel with GitHub Actions☆20Updated this week
- Loja virtual para treinamento e desenvolvimento de aprendizagem da linguagem, usando PHP, JAVASCRIPT, JQUERY, MYSQL, BOOTSTRAP, CSS3☆10Apr 6, 2018Updated 7 years ago
- PHP framework for Telegram Bots☆12Jan 3, 2023Updated 3 years ago
- EYS protein replacement therapy for RP25 and other retinal injuries☆10Apr 15, 2018Updated 7 years ago
- R package for the United Nations World Population Prospects 2024☆18Jun 24, 2025Updated 8 months ago
- bayesPop R package☆11Feb 23, 2026Updated 2 weeks ago
- Automatically create GitHub repositories using YAML templates.☆12Jul 10, 2022Updated 3 years ago
- A toy dependent typed language.☆46Updated this week
- Vortex Programming Language☆82Apr 4, 2024Updated last year
- A systems programming language☆32Feb 12, 2025Updated last year
- This server is made to serve the MSN-Messenger app develop by Gabriel Godoy. This applications is capable to register users and messages …☆10Dec 20, 2022Updated 3 years ago
- 🆚 VSCode extension for custom status bar buttons. Buttons are used to execute custom commands in Terminals or to emulate short-cuts. The…☆14Jun 23, 2022Updated 3 years ago
- R-Ladies Dublin meetups slides and code☆12Feb 15, 2021Updated 5 years ago
- Copy and Paste standard library (CPSTL) is a repository with a collection of data structure and algorithms in many different languages☆13Feb 15, 2025Updated last year
- A C++ template library for polynomials algebra over discrete integral domains☆11May 9, 2025Updated 10 months ago
- É um conjunto de regras para orientar a conduta e as atividades de um grupo de pessoas de acordo com os seus princípios e objetivos.☆10Jul 28, 2021Updated 4 years ago
- Soul - an esoteric concatenative language☆12Apr 30, 2024Updated last year
- Example project for the BRS-100-GW1NR9 FPGA development board.☆14Feb 14, 2026Updated 3 weeks ago
- Sources of the EuroProofNet web site.☆13Feb 28, 2026Updated last week
- Source file of Maoken Heavy Labourer ｜ 猫啃网扛重族源文件☆11Dec 6, 2021Updated 4 years ago