Repositories Users Organizations
Filter
Sort
cqfn/ eo
Java 1 0
EOLANG, an Experimental Object-Oriented Programming Language Based on 𝜑-Calculus
starred-repo eolang java language oop programming-language starred-cqfn-repo
Updated 2024-11-21 08:24:36 +03:00
objectionary/ eo
Java 1 0
EOLANG, an Experimental Object-Oriented Programming Language Based on 𝜑-calculus
starred-repo programming-language java language eolang oop starred-objectionary-repo
Updated 2024-11-21 08:24:36 +03:00
unisonweb/ unison
Haskell 0 0
A friendly programming language from the future
haskell hacktoberfest programming-language unison unison-language
Updated 2024-11-21 02:10:22 +03:00
AleoHQ/ leo
Rust 1 0
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
starred-repo compiler programming-language leo zero-knowledge zksnarks starred-aleohq-repo
Updated 2024-11-20 23:19:43 +03:00
ProvableHQ/ leo
Rust 1 0
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
starred-repo programming-language compiler leo zero-knowledge zksnarks starred-provablehq-repo
Updated 2024-11-20 23:19:43 +03:00
gleam-lang/ gleam
Rust 1 0
⭐️ A friendly language for building type-safe, scalable systems!
starred-repo compiler programming-language erlang gleam statically-typed starred-gleam-lang-repo
Updated 2024-11-20 17:57:39 +03:00
wasp-lang/ wasp
TypeScript 1 0
A programming language that understands what a web app is.
starred-repo haskell hacktoberfest javascript compiler react programming-language web-app node prisma wasp starred-wasp-lang-repo
Updated 2024-11-20 17:41:24 +03:00
neohaskell/ NeoHaskell
Haskell 1 0
⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.
starred-repo haskell python functional-programming command-line programming-language ai concurrency developer-experience mobile beginner-friendly domain-driven-design event-sourcing starred-neohaskell-repo
Updated 2024-11-17 04:32:18 +03:00
CatalaLang/ catala
OCaml 1 0
Programming language for literate programming law specification
starred-repo programming-language legislative-texts starred-catalalang-repo
Updated 2024-11-15 11:28:18 +03:00
penrose/ penrose
TypeScript 0 0
Create beautiful diagrams just by typing mathematical notation in plain text.
programming-language visualization diagrams domain-specific-language mathematics
Updated 2024-11-12 19:57:50 +03:00
lamdu/ lamdu
Haskell 0 0
lamdu - towards the next generation IDE
programming-language integrated-development-environment programmer-tool projectional-editor structure-editor
Updated 2024-10-22 21:22:59 +03:00