Ciprian Teodorov's repositories
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
diagram-js
A toolbox for displaying and modifying diagrams on the web.
teodorov.github.io
source of https://teodorov.github.io/
dart_rbush
An r-tree for Dart; port of @mourner's rbush.
ISC000
Language:Smalltalk000
flutter_diagram_editor
Fllutter diagram editor library
lambdalisp
A Lisp interpreter written in untyped lambda calculus
MIT000
theta
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
Apache-2.0000
tla-linearizability
Reading the linearizability paper with TLA+
widget_canvas
An infinity widget canvas built on top of 2D scrolling API
NOASSERTION000