Stars
5
Forks
0
Language
Haskell
Last Updated
Mar 01, 2024
Similar Repos
| Repo | Language | Stars | Description | Updated At |
|---|---|---|---|---|
| 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 | 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 | 5 | Dependently typed purely functional programming language | Sep 08, 2020 | |
| 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 | |
| Haskell | 29 | Work-in-progress functional dependently typed programming language | May 16, 2023 | |
| Scala | 3 | 🏃 Functional & Concurrent Programming | Jul 26, 2023 | |
| TypeScript | 20 | Typed functional programming utilities | Apr 18, 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 | |
| CoffeeScript | 3 | Functional and statically-typed programming language that transcompiles to Javascript | May 28, 2017 | |
| Rust | 330 | The parallel, concurrent, and functional programming language for scalable software development | Sep 02, 2022 | |
| Rust | 291 | The Leo Programming Language. A Functional, Statically-Typed Language for Zero-Knowledge Applications | Aug 10, 2022 | |
| 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 | |
| TypeScript | 2 | Minimal typed functional programming in TypeScript | Mar 04, 2023 | |
| C# | 2 | Session-typed concurrent and distributed programming for .NET | Nov 10, 2023 | |
| JavaScript | 2 | Unnamed typed programming language | May 03, 2019 | |
| Rust | 2 | Statically typed programming language | Oct 30, 2022 | |
| Scala | 7 | a functional dynamically typed scripting language | Dec 13, 2020 | |
| Haskell | 65 | Write yourself a typed functional language | Jan 29, 2023 | |
| Rust | 18 | Structurally-typed strict functional core language | Feb 10, 2022 | |
| Haskell | 4 | A statically-typed functional scripting language | Feb 09, 2023 | |
| Go | 724 | :camel: Practical statically typed functional programming language implementation with Go and LLVM | Jul 31, 2022 | |
| Java | 2 | Arch is a typed stack based functional programming language based on combinators | Nov 17, 2021 | |
| JavaScript | 26 | Firth is a functional, strongly dynamically-typed, concatenative stack-oriented programming language. | Jan 23, 2023 | |
| C++ | 20 | A simple concurrent programming language. | Aug 23, 2022 | |
| JavaScript | 90 | Functional programming language | Jul 01, 2022 | |
| Common Lisp | 458 | Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp. | Jun 25, 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 | |
| CSS | 4 | A functional, immutable, gradually-typed, interprited language. | Dec 25, 2018 | |
| C++ | 3335 | Research programming language for concurrent ownership | Aug 08, 2022 | |
| Java | 2 | Java, advanced programming, concurrent programming, functional programming, clean code, automated testing, JUnit | Jul 10, 2023 | |
| Haskell | 11 | Pure functional programming language | Aug 27, 2022 | |
| None | 2 | A functional programming language. | Apr 15, 2022 | |
| Rust | 2 | Simple functional programming language | Dec 30, 2020 |