Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by marcusrossel
A curated list of projects in awesome lists by marcusrossel .
https://github.com/marcusrossel/data-field
A SwiftUI view that wraps a text field to only accept specific data.
ios ipados macos swift swiftui text-field tvos watchos
Last synced: 06 Nov 2024
https://github.com/marcusrossel/lean-snakebird
An implementation of Snakebird in Lean.
Last synced: 06 Nov 2024
https://github.com/marcusrossel/lean-egg
A (WIP) equality saturation tactic for Lean based on egg.
Last synced: 06 Nov 2024
https://github.com/marcusrossel/model-checking
Lean-formalizations of material from "Principles of Model Checking" by Christel Baier and Joost-Pieter Katoen
Last synced: 06 Nov 2024
https://github.com/marcusrossel/arduinors
A library for interacting with an Arduino and the Arduino CLI.
Last synced: 17 Nov 2024
https://github.com/marcusrossel/live-lightshow
Transform your live audio into live visuals.
Last synced: 06 Nov 2024
https://github.com/marcusrossel/lean-ccs
A definition of CCS and verified computable reduction to LTS in Lean.
Last synced: 06 Nov 2024
https://github.com/marcusrossel/lexer-protocol
A protocol for simple closure-based lexers.
Last synced: 06 Nov 2024
https://github.com/marcusrossel/linear-algebra
Lean-formalizations of parts of the Khan Academy course on linear algebra.
Last synced: 06 Nov 2024
https://github.com/marcusrossel/geometry-view
A view that generates some geometric shapes.
Last synced: 06 Nov 2024
https://github.com/marcusrossel/literal-lexer
A lexer-protocol based lexer, that's able to lex several literals.
Last synced: 06 Nov 2024
https://github.com/marcusrossel/language-kit
A framework supplying types that can be used with language and expressions.
Last synced: 06 Nov 2024
https://github.com/marcusrossel/aerial-metrics
A macOS app for generating Excel spreadsheets from Instagram Graph API data.
Last synced: 06 Nov 2024
https://github.com/marcusrossel/kaleidoscope
A Swift-implementation of the LLVM-tutorial language Kaleidoscope.
Last synced: 06 Nov 2024
https://github.com/marcusrossel/prismal
An iOS app for generating geometric images.
Last synced: 06 Nov 2024
https://github.com/marcusrossel/stlc
A formalization of STLC and some standard properties.
Last synced: 06 Nov 2024
https://github.com/marcusrossel/weighted-tree-automata
A haphazard and WIP formalization of "Weighted Tree Automata - May it be a little more?".
Last synced: 06 Nov 2024
https://github.com/marcusrossel/nalgee
An app for illuminating bottles written in SwiftUI.
Last synced: 06 Nov 2024
https://github.com/marcusrossel/laser-show
The software component of an audio-based laser light show setup.
Last synced: 06 Nov 2024
https://github.com/marcusrossel/rede
A half-finished bookmark app written in SwiftUI.
Last synced: 06 Nov 2024