Algebraic Effects for Scala 3

A Language with Dependent Data and Codata Types

Safe direct style concurrency and resiliency for Scala on the JVM

The math library of Lean 4

Defines the Rust borrow checker.

The Hylo programming language

Scala CLI is a command-line tool to interact with the Scala language. It lets you compile, run, test, and package your Scala code (and more!)

A strawman for a low-level async library in Scala 3.

Protocol Buffers - Google's data interchange format

minted is a LaTeX package that provides syntax highlighting using the Pygments library. Highlighted source code can be customized using fancyvrb.

A Coq formalization of the Heapster type system

CN pKVM early allocator case study

💀 Casks of Ｆ🅾𝓝𝐓𝚂 (deprecated)

Haskell implemented with combinators

🔮 ChatGPT Desktop Application (Mac, Windows and Linux)

A tool for analyzing x86-64 binaries.

A translation verifier for Reopt (https://github.com/GaloisInc/reopt)

Cerberus C semantics

Synchronize the brightness of your built-in display with your LG UltraFine display(s)

A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.

A modal logic for reasoning about step-indexed logical relations

A community fork of a language named after a plant fungus. All of the memory-safe features you love, now with 100% less bureaucracy!

Miller/pattern unification in Agda

A prototypical dependently typed languages with sized types and variances

Lock-free data structures for multicore OCaml

Source code for Twitter's Recommendation Algorithm