Stars
A parser combinator library based on the GLL algorithm
Cartridge for the Commodore 64 that packs a punch
LeanInteract: A Python Interface for Lean 4
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
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
Solver for Constrained Horn Clauses
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.
tpircher-zz / rtl8814AU
Forked from diederikdehaas/rtl8814AURealtek 8814AU USB WiFi driver
Solver for higher-order functional programs, used by Stainless
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
A collection of TLA⁺ specifications of varying complexities.