teodorov

CEGARBoxCPP

An efficient theorem prover for all 15 normal modal logics in modal cube

ploeg_tree_layout

A dart implementation of the Ploeg Non-Layered Tidy Tree Layout

alga

Algebraic graphs

black

BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)

diagram-js

A toolbox for displaying and modifying diagrams on the web.

fin

an attempt at interaction nets

gamine

Generalized Monitoring Semantics

inpla

Inpla: Interaction nets as a programming language (the current version)

smalltt

Demo for high-performance type theory elaboration

TalkFFI

Automatic FFI generation for Pharo

teodorov.github.io

source of https://teodorov.github.io/

towards_mc

confreelander_dart

COS

C Object System: a framework that brings C to the level of other high level programming languages and beyond

dart_rbush

An r-tree for Dart; port of @mourner's rbush.

datum

derp-pharo

Drawflow

Simple flow library 🖥️🖱️

editor_from_scratch

egos-2000

A minimal operating system (2K LOC) on QEMU and a RISC-V board

flutter_diagram_editor

Fllutter diagram editor library

HVM

A massively parallel, optimal functional runtime in Rust

lambdalisp

A Lisp interpreter written in untyped lambda calculus

lean4-tla

An embedding of TLA in L∃∀N4

plfl

Learn Lean 4 with PLFA proofs.

temporal-multiverse-debugging

theta

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

tla-linearizability

Reading the linearizability paper with TLA+

tla-web

TLA+ Web Explorer Prototype

widget_canvas

An infinity widget canvas built on top of 2D scrolling API