Elias Daler's Bikeshed Renderer (Vulkan renderer/game engine)

Verification framework and tool for higher-order Scala programs

ASN1SCC: An open source ASN.1 compiler for embedded systems

The Julia Programming Language

Scala library for solving NP-hard probems

The TLA Proof Manager

Proof assistant based on first-order logic and set theory

This repository contains two algorithms for the word problem and normalization problem of Ortholattices and Orthocomplemented Bisemilattices

TriCera: a model checker for C programs

The Eldarica model checker

Solver for Constrained Horn Clauses

System F in Stainless

The MLton repository

A Scala interpreter for lambda calculus, using Huet's Zipper

Editor is an experimental HTTP/HTTPS server exposing webpages that can still be modified from the browser.

Realtek 8814AU USB WiFi driver

VHDL 2008/93/87 simulator

Flexible law checking for Scala

Solver for higher-order functional programs

Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.

Actor System library for Stainless which runs on Akka

Modern IDE plus custom programming languages with interpreters and compilers

LL(1) parser combinators in Scala

A collection of TLA⁺ specifications of varying complexities

A matrix client for Android

Powerful new number types and numeric abstractions for Scala.

Scala library for parsing and printing the SMT-LIB format

WebAssembly for Scala