A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
☆33Jan 12, 2025Updated last year
Alternatives and similar repositories for sophie
Users that are interested in sophie are comparing it to the libraries listed below
Sorting:
- siko☆14Jan 6, 2024Updated 2 years ago
- moved to https://codeberg.org/core-lang/core☆51Jan 30, 2025Updated last year
- A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language☆15Sep 16, 2021Updated 4 years ago
- Glide programming language☆21Apr 7, 2023Updated 2 years ago
- Source code for the Pipefish programming language☆182Updated this week
- Zang is a dynamically typed high level programming language.☆35May 5, 2023Updated 2 years ago
- A Statically typed, compiled general purpose low level programming language built using C++ and LLVM Infrastructure framework designed to…☆78Sep 8, 2023Updated 2 years ago
- A high-level programming language written in Scala☆35Nov 26, 2023Updated 2 years ago
- Vortex Programming Language☆82Apr 4, 2024Updated last year
- C-like programming language☆10Jul 18, 2025Updated 7 months ago
- The hobbyist's programming language☆24Jun 2, 2023Updated 2 years ago
- An Emmet-like language that produces JSON, TOML, or YAML☆52Aug 13, 2023Updated 2 years ago
- ☆10Oct 27, 2024Updated last year
- ☆12Sep 22, 2020Updated 5 years ago
- The Ribbon programming language☆11Jan 25, 2022Updated 4 years ago
- A Modeling Notation ꕤ☆15Nov 15, 2025Updated 3 months ago
- Low level toy functional programming language with linear types, first class inline functions, levity polymorphism and regions.☆78Feb 19, 2026Updated 2 weeks ago
- ☆29Aug 22, 2025Updated 6 months ago
- TeaScript C++ Library - embedded scripting language for C++ Applications☆69Jan 30, 2026Updated last month
- A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.☆18May 22, 2023Updated 2 years ago
- The elegant and consistent programming language.☆31Sep 8, 2023Updated 2 years ago
- ☆17Apr 4, 2024Updated last year
- A library for benchmarking gleam code.☆17Feb 17, 2025Updated last year
- Go + Generics + Sum Types☆35Jul 20, 2023Updated 2 years ago
- An experimental programming language that's made to be powerful, productive, and predictable☆148Mar 25, 2025Updated 11 months ago
- A neat, object-oriented, lightweight, elegant and fast programming language 👾☆51Aug 8, 2024Updated last year
- An experimental programming language for ergonomic software verification☆16Feb 5, 2026Updated last month
- A website for the #proglangdesign community on freenode☆112Nov 6, 2025Updated 4 months ago
- WIP stack language that uses regex for control flow☆42Oct 10, 2023Updated 2 years ago
- Calypso is a mostly imperative language with some functional influences that is focused on flexibility and simplicity.☆68May 16, 2024Updated last year
- The Egel Programming Language☆83Dec 25, 2025Updated 2 months ago
- Pocket sized programs☆64Dec 6, 2025Updated 3 months ago
- (WIP) A programming language☆42Jan 12, 2025Updated last year
- Alternative Core language for GHC plugins☆39Feb 15, 2016Updated 10 years ago
- Stack-based esoteric programming language☆18Jan 31, 2025Updated last year
- A human readable quasi-concatenative programming language☆260Feb 4, 2025Updated last year
- Martin-Löf type theory + W-types implemented in C (WIP)☆27Feb 16, 2026Updated 3 weeks ago
- ☆26Oct 5, 2023Updated 2 years ago
- A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.☆23Jan 28, 2026Updated last month