Rust Programming Language
A language empowering everyone to build reliable and efficient software.
Pony
An open-source, object-oriented, actor-model, capabilities-secure, high-performance programming language.
The Rust Programming Language - The Rust Programming Language
by Steve Klabnik, Carol Nichols, and Chris Krycho, with contributions from the Rust Community
Why Futhark?
A high-performance and high-level purely functional data-parallel array programming language that can execute on the GPU and CPU.
Help Wanted: Research Questions in Rust - Aaron Turon - OPLSS 2018
Tree Borrows | Proceedings of the ACM on Programming Languages
The Rust programming language is well known for its ownership-based type system, which offers strong guarantees like memory safety and data race freedom. However, Rust also provides unsafe escape hatches, for which safety is not guaranteed automatically ...
The Coalton Programming Language
A statically typed, functional programming language that compiles to Common Lisp
The Go Programming Language
Go is an open source programming language that makes it simple to build secure, scalable systems.
Ditto - Introducing Safer FFI
Introducing safer_ffi, a Rust framework that allows you to write foreign function interfaces (FFI) without polluting your Rust code with `unsafe` while improving readability.
lambek - Rust
Lambek is a library that enables type-level programming in stable Rust, supporting advanced features including higher kinded types, higher ranked types, and constraint kinds. Although Rust do not natively support these features, Lambek uses techniques including defunctionalization and CPS transformation to emulate these features in Rust.
Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones
Xous: A Pure-Rust Rethink of the Embedded Operating System
Xous is a message-passing microkernel implemented in pure Rust, targeting secure embedded applications. This talk covers three novel aspe...
nyigoro/lumina-lang
Most languages make you choose: safety or the web. Lumina doesn't. Lumina is a statically typed, web-native language with HM type inference, algebraic types, and trait-based polymorphism, compiled to JavaScript and WebAssembly. Build reactive UIs, WebGPU workloads, and WASM modules in the same language, with the same type system.
Integrating functional and imperative programming | Proceedings of the 1986 ACM conference on LISP and functional programming
We present a new model, based on monads, for performing input/output in a non-strict, purely functional language. It is composable, extensible, efficient, requires no extensions to the type system, and extends smoothly to incorporate mixed-language ...
Fe is a statically typed language for the Ethereum Virtual Machine, designed for safety and auditability.