Repositories Users Organizations
Filter
Sort
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-07-04 04:53:17 +03:00
unisonweb/ unison
Haskell 0 0
A friendly programming language from the future
haskell hacktoberfest programming-language unison unison-language
Updated 2024-07-04 02:43:34 +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-07-04 00:22:51 +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-07-03 19:02:14 +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-07-03 19:02:14 +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-07-03 16:52:56 +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-07-02 19:26:41 +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-07-01 19:08:19 +03:00
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-06-30 12:02:02 +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-06-30 12:02:02 +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-04-22 10:03:51 +03:00