SamChou19815 / samlang
Sam's Programming Language
☆36Updated this week
Related projects: ⓘ
- A simple little programming language that could one day compile to JavaScript.☆20Updated 9 months ago
- Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.☆12Updated 2 years ago
- The interpreter for Rhovas, a programming language for API design and enforcement.☆28Updated 2 months ago
- Semantic analysis framework☆14Updated 2 years ago
- Bootstrap compiler for Firefly☆52Updated this week
- A WIP little dependently-typed systems language☆37Updated last month
- Learn to code with Wipple.☆33Updated this week
- The Egel Programming Language☆80Updated this week
- Just a list of Awesome Alt Langs to check out☆94Updated 5 months ago
- A general purpose statically-typed concatenative programming language.☆49Updated last year
- The Fuzion Language Implementation☆46Updated this week
- siko☆13Updated 8 months ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆61Updated 3 months ago
- An menu/quick reference for Programming Language concepts☆20Updated 5 months ago
- Lore is a general-purpose programming language featuring multi-functions, structs and traits, a static type system with sum and intersect…☆16Updated last year
- A website for the #proglangdesign community on freenode☆108Updated 2 weeks ago
- Self-hosting compiler for the Grace programming language☆39Updated 3 months ago
- The Core Programming Language☆45Updated 3 months ago
- Contextual types meet mechanized metatheory!☆184Updated last month
- A simple ML-like programming language with subtyping and full type inference.☆159Updated 3 months ago
- ☆20Updated last week
- Experimental LLVM FFI bindings for the Java Platform☆15Updated 3 years ago
- The Dyvil programming language☆60Updated 8 months ago
- A scripting language that calculates the worst-case execution time (WCET) before executing each script. Ideal for multi-tenant microservi…☆26Updated 3 months ago
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆14Updated 6 months ago
- This repository accompanies Bolt - includes the accompanying dissertation.☆40Updated 3 years ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆29Updated 4 months ago
- Argon programming language☆41Updated last week
- 🧀 A delicious programming language☆37Updated last year
- Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native co…☆123Updated 2 years ago