Marcus Rossel (@marcusrossel)
github

marcusrossel

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    58
  • Global Rank 306,416 (Top 11 %)
  • Followers 23
  • Following 11
  • Registered over 8 years ago
  • Most used languages
    Lean     40.0 %
    Swift
         30.0 %
    Shell
         10.0 %
    Rust
         10.0 %
    TeX
         10.0 %
  • Location πŸ‡©πŸ‡ͺ Germany
  • Country Total Rank 19,935
  • Country Ranking
    Lean     6
    Swift
         586
    TeX
         1,920
    Rust
         2,003
    Shell
         8,818

Top repositories

1

lean-egg

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

data-field

A SwiftUI view that wraps a text field to only accept specific data.
Swift
13
star
3

lean-snakebird

An implementation of Snakebird in Lean.
Lean
5
star
4

model-checking

Lean-formalizations of material from "Principles of Model Checking" by Christel Baier and Joost-Pieter Katoen
Lean
4
star
5

arduinors

A library for interacting with an Arduino and the Arduino CLI.
Rust
2
star
6

formale-systeme

2
star
7

live-lightshow

Transform your live audio into live visuals.
Shell
1
star
8

kaleidoscope

A Swift-implementation of the LLVM-tutorial language Kaleidoscope.
Swift
1
star
9

lexer-protocol

A protocol for simple closure-based lexers.
Swift
1
star
10

bachelors-thesis

TeX
1
star
11

lean-ccs

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