Ciprian Teodorov's repositories
teodorov.github.io
source of https://teodorov.github.io/
widget_canvas
An infinity widget canvas built on top of 2D scrolling API
lean4-tla
An embedding of TLA in L∃∀N4
plfl
Learn Lean 4 with PLFA proofs.
theta
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
dart_rbush
An r-tree for Dart; port of @mourner's rbush.
COS
C Object System: a framework that brings C to the level of other high level programming languages and beyond
egos-2000
A minimal operating system (2K LOC) on QEMU and a RISC-V board
ploeg_tree_layout
A dart implementation of the Ploeg Non-Layered Tidy Tree Layout
HVM
A massively parallel, optimal functional runtime in Rust
tla-web
TLA+ Web Explorer Prototype
lambdalisp
A Lisp interpreter written in untyped lambda calculus
flutter_diagram_editor
Fllutter diagram editor library
tla-linearizability
Reading the linearizability paper with TLA+
Drawflow
Simple flow library 🖥️🖱️
diagram-js
A toolbox for displaying and modifying diagrams on the web.
CEGARBoxCPP
An efficient theorem prover for all 15 normal modal logics in modal cube