|
|
Haskell |
29 |
Work-in-progress functional dependently typed programming language |
May 16, 2023 |
|
|
C |
2 |
Valley programming language (major work in progress). |
Mar 30, 2022 |
|
|
C |
72 |
Programming language and compiler —WORK IN PROGRESS— |
Aug 12, 2022 |
|
|
TypeScript |
12 |
A work-in-progress general purpose programming language. |
Mar 10, 2023 |
|
|
C++ |
3 |
The Otter Programming Language 🦦 (work in progress) |
Jan 17, 2023 |
|
|
JavaScript |
2 |
Unnamed typed programming language |
May 03, 2019 |
|
|
Rust |
2 |
Statically typed programming language |
Oct 30, 2022 |
|
|
Python |
10 |
Repository for the Llama Programming Language. Work In Progress |
Sep 01, 2022 |
|
|
Rust |
3 |
Interpreter for the Grib programming language (work in progress) |
Oct 07, 2022 |
|
|
Rust |
11 |
The Typed-Turtle Programming Language |
Jul 26, 2022 |
|
|
Rust |
171 |
A statically-typed programming language |
Apr 24, 2023 |
|
|
None |
2 |
A statically typed programming language |
Sep 10, 2021 |
|
|
C++ |
35 |
Visual, compiled & typed programming language. |
May 10, 2023 |
|
|
Rust |
14 |
Glacier Programming Language, written in Rust. Currently work-in-progress. |
Nov 29, 2021 |
|
|
C |
50 |
A static typed low-level compiled programming language inspired by Rust and C |
Apr 05, 2023 |
|
|
PHP |
3 |
PHP static analyzer - Work in progress |
Oct 27, 2019 |
|
|
Rust |
7 |
A work-in-progress programming language; not yet suitable for users |
Oct 06, 2019 |
|
|
Rust |
2 |
A work-in-progress programming language; not yet suitable for users |
Mar 15, 2023 |
|
|
Rust |
6 |
[Work in progress] A programming language. Ideal for command-line tools |
Nov 07, 2020 |
|
|
OCaml |
2 |
A work-in-progress programming language; not yet suitable for users |
Apr 29, 2014 |
|
|
Rust |
7 |
A work-in-progress programming language; not yet suitable for users |
Feb 03, 2023 |
|
|
Rust |
4 |
A work-in-progress programming language; not yet suitable for users |
Jul 23, 2014 |
|
|
None |
7 |
A Dependently Typed Functional Programming Language |
Jul 12, 2022 |
|
|
Haskell |
7 |
A Dependently Typed Functional Programming Language |
Jul 17, 2019 |
|
|
Haskell |
3363 |
A Dependently Typed Functional Programming Language |
Aug 22, 2022 |
|
|
Haskell |
2 |
a typed, functional, concurrent programming language |
Jan 29, 2023 |
|
|
Rust |
2 |
An elegant, dynamically typed programming language |
Jun 13, 2021 |
|
|
Haskell |
37 |
A statically typed functional programming language. |
Jul 28, 2022 |
|
|
Haskell |
2 |
A Dependently Typed Functional Programming Language |
Aug 04, 2014 |
|
|
TypeScript |
2 |
Statically-typed purely functional programming language |
Nov 19, 2021 |
|
|
Haskell |
2 |
Educational imperative statically typed programming language. |
Apr 29, 2023 |
|
|
Haskell |
5 |
Dependently typed purely functional programming language |
Sep 08, 2020 |
|
|
Crystal |
29 |
Simple, interpreted, dynamically-typed programming language |
Mar 18, 2023 |
|
|
Coq |
198 |
A work-in-progress language and compiler for verified low-level programming |
Aug 12, 2022 |
|
|
Rust |
4 |
Work-in-progress educational programming game |
May 24, 2023 |
|
|
C++ |
13 |
Dynamically typed 64-Bit programming/scripting language |
Jul 06, 2022 |
|
|
C++ |
11 |
General purpose, statically typed, functional programming language |
Jul 08, 2022 |
|
|
Rust |
4 |
A statically typed, interpreted, embeddable programming language |
Nov 12, 2022 |
|
|
Kotlin |
3 |
A dependently-typed programming language for Minecraft |
Apr 15, 2023 |
|
|
Kotlin |
4 |
Statically-typed, strict, purely functional programming language |
Mar 29, 2022 |
|
|
Rust |
3 |
Minimal, interpreted, statically typed functional programming language. |
Aug 01, 2022 |
|
|
Haskell |
22 |
Dependently typed programming language written in Haskell |
Feb 28, 2022 |
|
|
Haskell |
1004 |
A statically typed concatenative systems programming language. |
Oct 18, 2022 |
|
|
Haskell |
2 |
Statically-typed functional and concatenative programming language |
Apr 21, 2023 |
|
|
Rust |
2 |
[WIP] A statically typed, functional programming language. |
Apr 26, 2023 |
|
|
Rust |
13 |
Statically typed programming language transpiled to C |
Apr 30, 2023 |
|
|
Xojo |
5 |
A dynamically typed BASIC-like programming language |
Apr 29, 2023 |
|
|
Scala |
7 |
Onion - statically typed object-oriented programming language |
Oct 18, 2022 |
|
|
Python |
3 |
The Ayakashi language, a static typed language that compiles to C. |
Jan 30, 2023 |
|
|
OCaml |
2 |
Concatenative language interpreter. Work in progress. |
May 24, 2022 |