marcusrossel Goto Github PK

aerial-metrics

A macOS app for generating Excel spreadsheets from Instagram Graph API data.

arduinors

A library for interacting with an Arduino and the Arduino CLI.

bachelors-thesis

batteries

The "batteries included" extended library for the Lean programming language and theorem prover

bimap

data-field

A SwiftUI view that wraps a text field to only accept specific data.

egg

egg is a flexible, high-performance e-graph library

excel-swift

formale-systeme

foundations-of-logic-and-proof

geometry-view

A view that generates some geometric shapes.

goodreads

graph-kit

kaleidoscope

A Swift-implementation of the LLVM-tutorial language Kaleidoscope.

language-kit

A framework supplying types that can be used with language and expressions.

laser-show

The software component of an audio-based laser light show setup.

lean-ccs

A definition of CCS and verified computable reduction to LTS in Lean.

lean-egg

A (WIP) equality saturation tactic for Lean based on egg.

lean-snakebird

An implementation of Snakebird in Lean.

lean-sys

Rust bindings for the Lean 4 proof assistant

lean4

Lean 4 programming language and theorem prover

lean4-maze

maze game encoded in Lean 4 syntax

leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

lexer-protocol

A protocol for simple closure-based lexers.

linear-algebra

Lean-formalizations of parts of the Khan Academy course on linear algebra.

lingua-franca

Intuitive concurrent programming in any language

literal-lexer

A lexer-protocol based lexer, that's able to lex several literals.

live-lightshow

Transform your live audio into live visuals.

mandelbrot

mathlib4

The math library of Lean 4