Stars
3
Forks
0
Language
Haskell
Last Updated
Jun 25, 2023
Similar Repos
Repo | Language | Stars | Description | Updated At |
---|---|---|---|---|
Haskell | 12 | An imperative, statically-typed toy language | Jan 29, 2023 | |
Rust | 2 | Statically typed programming language | Oct 30, 2022 | |
C++ | 9 | Modern, statically typed, duck typed, generic, imperative programming language, inspired by C++, Go, and Scala. | Jan 04, 2023 | |
Rust | 171 | A statically-typed programming language | Apr 24, 2023 | |
None | 2 | A statically typed programming language | Sep 10, 2021 | |
Haskell | 37 | A statically typed functional programming language. | Jul 28, 2022 | |
TypeScript | 2 | Statically-typed purely functional programming language | Nov 19, 2021 | |
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 | 4 | Statically-typed, strict, purely functional programming language | Mar 29, 2022 | |
Rust | 3 | Minimal, interpreted, statically typed functional programming language. | Aug 01, 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 | |
Scala | 7 | Onion - statically typed object-oriented programming language | Oct 18, 2022 | |
C# | 4 | Category based statically typed general purpose programming language. | Mar 04, 2022 | |
JavaScript | 8 | A statically-typed programming language for the web | Apr 13, 2021 | |
C++ | 12 | A High Level, statically typed, Compiled programming language | May 03, 2022 | |
PHP | 2 | A statically typed programming language compiled in PHP. | Jun 01, 2022 | |
C++ | 2 | Mango: Compiled, statically-typed general purpose programming language. | May 05, 2022 | |
F# | 29 | A general purpose statically-typed concatenative programming language. | Aug 11, 2022 | |
C++ | 30 | a statically-typed programming language with powerful syntax | Aug 03, 2022 | |
Haskell | 3 | Statically typed logic programming language designed for bedelibry. | Jul 04, 2022 | |
OCaml | 95 | Statically typed system programming language for 文鳥 | Mar 15, 2023 | |
C++ | 3 | Statically typed scripting language | Apr 10, 2018 | |
Rust | 7 | Statically Typed Scripting Language | Mar 12, 2023 | |
Haskell | 11 | 🌊 a statically typed lisp-like (currently) programming language. | Mar 08, 2022 | |
Rust | 2 | A compiled, statically typed, and intuitive systems programming language. | Feb 20, 2022 | |
C++ | 23 | A statically-typed, scripting programming language written in C++ | Apr 10, 2023 | |
Rust | 2 | JazzML(formelly JazzScript) statically typed programming language for scripting | May 26, 2020 | |
C# | 207 | Cat - a statically typed functional stack-based programming language | Apr 13, 2023 | |
Python | 5 | My attempt at making a statically typed programming language | May 06, 2020 | |
CoffeeScript | 3 | Functional and statically-typed programming language that transcompiles to Javascript | May 28, 2017 | |
OCaml | 2 | Compiler for sPool, a statically-typed, general-purpose programming language. | May 05, 2023 | |
Rust | 7 | Cell is a statically typed, general purpose systems programming language. | Aug 16, 2021 | |
Rust | 149 | A statically typed Lisp like scripting programming language for Rust. | May 20, 2023 | |
Haskell | 8 | Pure, statically typed, content-addressable, programming language for spreadsheet use | May 27, 2023 | |
Scala | 2 | Simple, object-oriented, statically typed programming language and VM implementation. | Aug 15, 2022 | |
Python | 4 | A statically typed tensor programming language for defining AI models. | Apr 28, 2024 | |
Rust | 2 | A statically typed scripting language | Apr 20, 2023 | |
Go | 22 | Simple, efficient, statically typed and compiled programming language that focusing system programming. | May 13, 2022 | |
OCaml | 2 | Tiny Imperative Programming Language | Mar 14, 2022 | |
Rust | 4 | A general purpose, statically typed, compiled programming language written in Rust. | Nov 12, 2021 | |
JavaScript | 2 | JSX is a statically-typed, class-based object-oriented programming language | Aug 13, 2019 | |
JavaScript | 2 | JSX is a statically-typed, class-based object-oriented programming language | Jan 09, 2013 | |
TeX | 97 | Statically typed embedding of miniKanren relational programming language into Objective Caml | Jun 06, 2022 | |
Haskell | 9 | Quartz is an interpreted, statically typed programming language with Haskell backend | Jun 12, 2021 | |
C++ | 3 | A Non- Statically-Typed compiled programming language that compiles to x86 | Sep 15, 2023 | |
Rust | 2 | Experimental statically-typed compiled programming language made with LLVM and Rust. | Feb 09, 2024 |