jakt
Systems programming language
A systems programming language focused on memory safety and developer productivity through design choices like automatic reference counting and immutable data structures.
The jakt programming language
33 stars
2 watching
1 forks
last commit: 11 months ago
Linked from 1 awesome list
learn-anything/programming-languagesRelated projects:
| Repository | Description | Stars |
|---|---|---|
 superstar64/aith | A language project that aims to create a systems programming language with a strong emphasis on type systems and advanced features like levity polymorphism, first-class inline functions, linear types, and effectful regions. | 65 |
 jfecher/ante | A systems language focused on refinement types and lifetime inference | 1,908 |
 dbetz/etalk | A programming language with object-oriented features and basic syntax for simple statements and expressions. | 3 |
 ethproductions/japt | A compact, dynamically-typed programming language with features like automatic output and string compression, designed for coding challenges and minimalism. | 75 |
 jondgoodwin/cone | A systems programming language with features such as memory management and concurrency support. | 529 |
 japiirainen/fp | A small, experimental programming language with unique features and a Haskell implementation. | 102 |
 raptorjit/raptorjit | A high-performance dynamic language and compiler for system programming that provides auditing, profiling, and interactive tools. | 843 |
 1whatleytay/kara | A high-performance, statically typed programming language designed to simplify development while maintaining speed. | 14 |
 titzer/virgil | A language designed to build lightweight high-performance systems with a focus on balancing functional and object-oriented programming paradigms. | 1,244 |
 joshsh/ripple | A programming language and runtime environment for creating data-driven programs with a focus on Linked Data and RDF data sources | 101 |
 nim-works/nimskull | A statically typed systems programming language designed to be sustainable and scalable, with the goal of creating software that can be maintained by its community. | 280 |
 wheretib/nullc | An embeddable programming language with advanced features and runtime support for multiple execution modes. | 165 |
 samskivert/compose | An experimental programming language aiming to be teachable, scalable, and powerful while minimizing complexity. | 18 |
 jukalang/juka | A portable and easy-to-use programming language designed to run on any platform without complex installations or admin rights. | 79 |
 rsms/compis | A systems programming language that aims to provide clarity and memory safety through explicit type encoding and ownership-based memory management. | 213 |