LinearML

Tech stack & purpose

LinearML is a functional programming language designed for writing efficient parallel programs. The language is purely functional, statically typed, and uses strict evaluation with linear types as its default, which enables thread-safe message-passing between threads, thread-safe I/O operations, in-place updates for improved cache performance, and statically enforced memory management without garbage collection. The project was created by an individual contributor who has placed it under an open-source license independent of their employer, Facebook.

Languages

Contributors

• pika153 commits
• A. Hacker23 commits
• 
  Julien Verlaguet23 commits · 164 followers
• 
  Anil Madhavapeddy13 commits · 1,318 followers
• 
  Julien Verlaguet11 commits · 164 followers
• julienv6 commits
• Vasile Rotaru2 commits
• Steve Jenson2 commits
• Richard G. Clegg2 commits
• 
  Julien Verlaguet1 commits · 164 followers
• 
  Julien Verlaguet1 commits · 164 followers