jakt

Systems language

A systems programming language aimed at providing memory safety and code readability through design features such as automatic reference counting and strong typing.

The Jakt Programming Language

GitHub

3k stars
38 watching
239 forks
Language: C++
last commit: about 1 month ago
jaktprogramming-languageserenityos

Related projects:

Repository Description Stars
awesomekling/jakt A systems programming language focused on memory safety and developer productivity through design choices like automatic reference counting and immutable data structures. 33
ethproductions/japt A compact, dynamically-typed programming language with features like automatic output and string compression, designed for coding challenges and minimalism. 75
nrc/r4cppp A tutorial designed to help experienced C and C++ programmers quickly learn Rust programming. 3,666
munificent/vigil A programming language with automated safety and moral accountability through the use of implore statements to ensure proper parameters and swear statements to uphold results. 2,908
jank-lang/jank An experimental programming language built on top of LLVM and C++ to provide performance and native runtime 1,756
google/wuffs A language and standard library for safely parsing and decoding untrusted file formats. 4,227
boostorg/safe_numerics Replaces standard numeric types with exception-throwing versions to prevent undefined behavior due to integer overflow 210
dtolnay/cxx A library providing safe and idiomatic interop between Rust and C++ 5,980
nicup14/minilang A modern, type-safe C successor with a focus on memory safety and ease of use. 139
beefytech/beef A high-performance compiled programming language designed to simplify development of real-time applications such as video games. 2,516
chaiscript/chaiscript An embedded scripting language designed to work with C++ code and utilize modern development techniques. 2,961
diku-dk/futhark A data-parallel functional programming language with high-performance parallel code generation for CPUs and GPUs. 2,428
marcobambini/gravity A dynamically typed, lightweight language with modern syntax for building portable and concurrent applications. 4,325
raptorjit/raptorjit A high-performance dynamic language and compiler for system programming that provides auditing, profiling, and interactive tools. 843