javra

AutoGPT

AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.

koka

Koka language compiler and interpreter

echidna

Ethereum smart contract fuzzer

mathlib

Lean 3's obsolete mathematical components library: please use mathlib4

cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.

cairo-lang

agda-stdlib

The Agda standard library

k

K Framework Tools 7.0

certigrad

Bug-free machine learning on stochastic computation graphs

lean4-metaprogramming-book

lean-liquid

💧 Liquid Tensor Experiment

lean2

Lean theorem prover version 0.2 (it supports standard and HoTT modes)

sudoku

A sudoku game where you have to prove that your deductions are valid

joana

Joana - Information Flow Control for Java

hott3

HoTT in Lean 3

quote4

Intuitive, type-safe expression quotations for Lean 4.

iris-lean

Lean 4 port of Iris, a higher-order concurrent separation logic framework

formal-proofs

lean-category-theory

An experimental category theory library for Lean

cubical-demo

selftls

Sample application to let OpenSSL talk to itself (for fuzzing)

palmgren-archive

Research material of Erik Palmgren (1963–2019)

Yul-Specification

A formal specification of the Yul IR semantics in the Lean proof assistant.

aegis

Verify Cairo contracts in Lean 4

hyperpilot

Mapsforge rendering theme for pilots

UniversalII

with UIP and rewrite rules in agda

corelib_verification

wadray_verification

Verification of the Wadray library

lean-coends

My fork of the lftcm2023 repo

mathlib4

Work in progress mathlib port for lean 4