Stars
4
Forks
0
Language
CSS
Last Updated
Dec 25, 2018
Similar Repos
| Repo | Language | Stars | Description | Updated At |
|---|---|---|---|---|
| Rust | 4 | Gradually typed language | Jan 10, 2022 | |
| Rust | 5 | A gradually-typed garbage-collected WebAssembly language | Nov 21, 2022 | |
| None | 7 | A Dependently Typed Functional Programming Language | Jul 12, 2022 | |
| Scala | 7 | a functional dynamically typed scripting language | Dec 13, 2020 | |
| 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 | |
| Haskell | 65 | Write yourself a typed functional language | Jan 29, 2023 | |
| Haskell | 37 | A statically typed functional programming language. | Jul 28, 2022 | |
| Rust | 18 | Structurally-typed strict functional core language | Feb 10, 2022 | |
| Haskell | 2 | A Dependently Typed Functional Programming Language | Aug 04, 2014 | |
| TypeScript | 2 | Statically-typed purely functional programming language | Nov 19, 2021 | |
| Haskell | 4 | A statically-typed functional scripting language | Feb 09, 2023 | |
| Haskell | 5 | Dependently typed purely functional programming language | Sep 08, 2020 | |
| Rust | 61 | A gradually typed language originally based on the crafting interpreters series | Apr 29, 2023 | |
| C++ | 2653 | A fast, small, safe, gradually typed embeddable scripting language derived from Lua | Aug 30, 2022 | |
| C++ | 2 | A fast, small, safe, gradually typed embeddable scripting language derived from Lua | Jan 01, 2023 | |
| None | 2 | A fast, small, safe, gradually typed embeddable scripting language derived from Lua | Oct 03, 2022 | |
| C++ | 11 | General purpose, statically typed, functional programming language | Jul 08, 2022 | |
| 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 | 2 | Statically-typed functional and concatenative programming language | Apr 21, 2023 | |
| Rust | 2 | [WIP] A statically typed, functional programming language. | Apr 26, 2023 | |
| Agda | 42 | Formalizations of Gradually Typed Languages in Agda | Jul 17, 2022 | |
| Racket | 4 | Collection of benchmarks for gradually-typed languages | Feb 20, 2023 | |
| C | 42 | somewhat functional dynamically typed language https://wellang.github.io/well/ | May 22, 2022 | |
| JavaScript | 53 | A typed, functional language that targets the EVM. | Sep 03, 2022 | |
| Agda | 35 | Basics of the dependently-typed functional language Agda ^_^ | Mar 07, 2023 | |
| Haskell | 29 | Work-in-progress functional dependently typed programming language | May 16, 2023 | |
| JavaScript | 3 | Typed immutable wrapper for Y.js | Feb 23, 2023 | |
| C | 70 | A compiler for the gradually typed lambda calculus | Feb 20, 2023 | |
| C | 4 | functional, interpreted, weakly typed programming language written in C | May 15, 2022 | |
| C# | 207 | Cat - a statically typed functional stack-based programming language | Apr 13, 2023 | |
| Python | 2 | An interpreter for a dynamically typed functional programming language | Jul 06, 2019 | |
| C | 2 | a functional, dynamically weakly typed, interpreted, indented programming language. | Jun 05, 2023 | |
| Python | 12 | A dynamically typed functional programming language and its interpreter | Dec 19, 2023 | |
| Rust | 13 | write a little simply typed functional language to practice Rust | Jun 21, 2021 | |
| CoffeeScript | 3 | Functional and statically-typed programming language that transcompiles to Javascript | May 28, 2017 | |
| Haskell | 22 | A compiler for a strongly typed, haskell-like functional language | May 22, 2022 | |
| JavaScript | 2 | A dynamically typed, functional *script language with trivial JavaScript interop | Oct 20, 2014 | |
| OCaml | 7 | A type reconstruction algorithm implementation for the implicitly and gradually typed language with shift and … | Jan 28, 2023 | |
| Rust | 291 | The Leo Programming Language. A Functional, Statically-Typed Language for Zero-Knowledge Applications | Aug 10, 2022 | |
| TypeScript | 3 | 🏰 Functional, immutable state management | Mar 14, 2021 | |
| JavaScript | 3 | Functional updates for immutable objects | Feb 18, 2021 | |
| TypeScript | 20 | Typed functional programming utilities | Apr 18, 2023 | |
| Julia | 7 | A constantly-typed ether-dimensional functional programming language implemented in Julia. | Sep 10, 2021 | |
| C | 27 | Dynamically typed, higher-order, semi-functional, interpreted and embeddable programming language | Mar 19, 2023 | |
| Haskell | 35 | A purely functional, dynamically typed, parallel evaluated Lisp-like programming language | Apr 15, 2023 | |
| JavaScript | 48 | Functional operations on large immutable objects | Dec 22, 2022 | |
| Rust | 2 | Customizable, solver-based type migration for the gradually-typed lambda calculus. | Jan 14, 2023 |