austral
Secure Systems Language
A systems language with capability-based security and linear types for building secure and safe software systems.
Systems language with linear types and capability-based security.
1k stars
28 watching
42 forks
Language: OCaml
last commit: almost 2 years ago
Linked from 2 awesome lists
capabilitiescompilerlinear-types
dckc/awesome-ocap
learn-anything/programming-languagesRelated projects:
| Repository | Description | Stars |
|---|---|---|
 jfecher/ante | A systems language focused on refinement types and lifetime inference | 1,920 |
 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. | 64 |
 jondgoodwin/cone | A systems programming language with features such as memory management and concurrency support. | 529 |
 titzer/virgil | A language designed to build lightweight high-performance systems with a focus on balancing functional and object-oriented programming paradigms. | 1,245 |
 mirleft/ocaml-tls | A TLS implementation in OCaml for secure communication | 305 |
 rsms/compis | A systems programming language that aims to provide clarity and memory safety through explicit type encoding and ownership-based memory management. | 215 |
 calctopia-opensource/jdk10u | A reimplementation of Java for secure computation. | 4 |
 ahrefs/atd | Defines cross-language data types to generate efficient and type-safe serializers, deserializers, and validators for various programming languages. | 317 |
 saptakbhoumik/peregrine | A compiled systems programming language with a focus on simplicity and efficiency | 1,459 |
 mkhan45/rustscript2 | An OCaml implementation of a functional scripting language with performance improvements and additional features. | 36 |
 sine-fdn/garble-lang | A programming language designed to be used in multi-party computation with garbled circuits | 38 |
 usbac/borealis | A scripting language with a C-like syntax designed to simplify programming and reduce common development headaches | 32 |
 one-language/one | A system programming language designed to build reliable and efficient software with a focus on simplicity and high performance. | 288 |
 bijoutrouvaille/fireward | A Haskell-based language and compiler for writing Firestore security rules with type validation and idiomatic expressiveness. | 238 |
 branchtaken/hemlock | A systems programming language focused on reliable high performance parallel computation | 31 |