⭐️ A friendly language for building type-safe, scalable systems!
-
Updated
Jan 2, 2025 - Rust
#
Programming language
A programming language is a formal language that specifies a set of instructions that can be used to produce various kinds of output. Programming languages generally consist of instructions for computers. There are many programming languages in existence, and each has at least one implementation, each of which consists of its own set of programming tools. Some programming languages require computation to be specified in an imperative form (i.e., as a sequence of operations to perform) while other languages use the declarative form (i.e. the desired result is specified, not how to achieve it).
Here are 779 public repositories matching this topic...
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
-
Updated
Dec 20, 2024 - Rust
Borgo is a statically typed language that compiles to Go.
-
Updated
Oct 27, 2024 - Rust
A static, type inferred and embeddable language written in Rust.
-
Updated
Dec 6, 2024 - Rust
💎 Artichoke is a Ruby made with Rust
ruby language programming-language rust webassembly wasm ruby-language rust-crate rust-application artichoke
-
Updated
Jan 4, 2025 - Rust
A statically typed language compatible with Python
-
Updated
Jan 3, 2025 - Rust
An embeddable dynamic programming language for Rust.
-
Updated
Dec 31, 2024 - Rust
KCL Programming Language (CNCF Sandbox Project). https://kcl-lang.io
language programming-language kubernetes rust devops functional schema validation compiler configuration policy configuration-management infrastructure-as-code cloud-native record configuration-language platform-engineering shift-left
-
Updated
Dec 31, 2024 - Rust
Code for Command-Line Rust (O'Reilly, 2024, ISBN 9781098109417)
-
Updated
Aug 6, 2024 - Rust
An embedded scheme interpreter in Rust
-
Updated
Jan 3, 2025 - Rust
A statically typed programming language for scientific computations with first class support for physical dimensions and units
-
Updated
Jan 1, 2025 - Rust
A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.
-
Updated
Sep 20, 2023 - Rust
A small extensible programming language designed for concise expression with little code.
-
Updated
Sep 11, 2024 - Rust
Noir is a domain specific language for zero knowledge proofs
-
Updated
Jan 4, 2025 - Rust
A language for building concurrent software with confidence
-
Updated
Jan 3, 2025 - Rust
Create your own programming language with Rust
-
Updated
Jul 26, 2024 - Rust
A fun safe language for rapid prototyping and high performance applications
javascript python programming-language webassembly wasm astro language-features numerical-computation
-
Updated
Aug 10, 2023 - Rust
CSML is an easy-to-use chatbot programming language and framework.
-
Updated
Jul 11, 2023 - Rust
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
programming-language rust typechecker dependent-types compiler type-theory systems-language type-system systems-programming bidirectional-typechecking dependent-record-types dependent-records
-
Updated
May 16, 2021 - Rust
- Followers
- 448 followers
- Wikipedia
- Wikipedia