T is a C-like, module based programming language
☆14Dec 30, 2022Updated 3 years ago
Alternatives and similar repositories for TCompiler
Users that are interested in TCompiler are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 🍋 A Rust/Swift-like modern interpreted programming language. First-class functions, first-class expressions, and functional techniques i…☆11Mar 2, 2021Updated 5 years ago
- Deemon Programming Language (v200+)☆18Updated this week
- ☆44Apr 8, 2025Updated last year
- Formalizing results about the Mandelbrot set in Lean☆29Dec 31, 2025Updated 4 months ago
- Lambda calculus with Church encoding in C☆31Oct 11, 2018Updated 7 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.
- ☆32Apr 7, 2026Updated 3 weeks ago
- A self-hosted programming language.☆12Oct 19, 2022Updated 3 years ago
- Grotsky Programming Language☆20Dec 1, 2025Updated 4 months ago
- Probabilistic separation logics for verifying higher-order probabilistic programs.☆39Updated this week
- Experimental programming metalanguage, targeting on intertranspiling with other languages.☆19May 11, 2023Updated 2 years ago
- The Drift Script Programming Language☆11Jan 24, 2023Updated 3 years ago
- Lumi programming language development☆16Nov 7, 2022Updated 3 years ago
- A modest systems programming language for Unix-like platforms☆27Sep 19, 2025Updated 7 months ago
- A small tool for embedding files in a Go source file.☆11Nov 3, 2020Updated 5 years 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.
- A polymorphism object-oriented programming language☆24May 5, 2020Updated 5 years ago
- Gox is a free, open-source script language or a interpreter written by Golang. Gox provides a modern GUI programming ability, and it's c…☆26Apr 22, 2026Updated last week
- A high-level language that doesn't compromise in performance, made with Rust.☆24Jan 5, 2026Updated 3 months ago
- Tern Programming Language☆22Sep 30, 2023Updated 2 years ago
- A Programming language perfume. And text editor Pmacs writen by Perfume.☆28Mar 7, 2026Updated last month
- A simple interpreter☆19Nov 13, 2018Updated 7 years ago
- libRunTimeStruct: Create C structs at runtime☆13Dec 8, 2015Updated 10 years ago
- Combinators in C☆37Jun 5, 2012Updated 13 years ago
- kj is a small collection of stb inspired libs.☆18Apr 5, 2018Updated 8 years 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.
- A mini language used for the Rabs build system and within Wrapl.☆32Updated this week
- Interpreted, dynamically typed, object-oriented programming language☆24Updated this week
- A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and denotational semantics, to abs…☆57Feb 18, 2026Updated 2 months ago
- currently just a personal experiment☆12Oct 14, 2017Updated 8 years ago
- Generally useful macros for C/C++ programming☆12Jun 29, 2024Updated last year
- a statically-typed programming language with powerful syntax☆31Jul 6, 2019Updated 6 years ago
- ☆10Oct 22, 2015Updated 10 years ago
- 3D game engine based on BlendELF☆10Aug 15, 2023Updated 2 years ago
- A programming language.☆13Aug 4, 2025Updated 8 months 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.
- String Scan library, a simpler alternative to regex.☆12Jul 8, 2019Updated 6 years ago
- Dynamic-language-like data structure for C☆15Jun 13, 2016Updated 9 years ago
- A high level programming language which compiles to C.☆40Oct 5, 2024Updated last year
- A library to simplify creation of Perl XS code☆12Feb 5, 2023Updated 3 years ago
- Formalized Cryptography Proofs in Lean 4☆91Updated this week
- ☆15Aug 8, 2018Updated 7 years ago
- Lightweight async functions implementation in C, using multithreading☆12Jun 17, 2025Updated 10 months ago