Pinned Repositories
obp2-devel
z2mc-js
announce4j
Simple announcement framework for java
blif_MCNC
Some blif files
CEGARBoxCPP
An efficient theorem prover for all 15 normal modal logics in modal cube
ClockRDL
Clock Relation Definition Language
ploeg_tree_layout
A dart implementation of the Ploeg Non-Layered Tidy Tree Layout
sfdp-lite
sfdp-lite
TalkFFI
Automatic FFI generation for Pharo
virtual_fpga
a simple virtual FPGA
teodorov's Repositories
teodorov/CEGARBoxCPP
An efficient theorem prover for all 15 normal modal logics in modal cube
teodorov/ploeg_tree_layout
A dart implementation of the Ploeg Non-Layered Tidy Tree Layout
teodorov/alga
Algebraic graphs
teodorov/black
BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)
teodorov/diagram-js
A toolbox for displaying and modifying diagrams on the web.
teodorov/fin
an attempt at interaction nets
teodorov/gamine
Generalized Monitoring Semantics
teodorov/inpla
Inpla: Interaction nets as a programming language (the current version)
teodorov/smalltt
Demo for high-performance type theory elaboration
teodorov/TalkFFI
Automatic FFI generation for Pharo
teodorov/teodorov.github.io
source of https://teodorov.github.io/
teodorov/towards_mc
teodorov/confreelander_dart
teodorov/COS
C Object System: a framework that brings C to the level of other high level programming languages and beyond
teodorov/dart_rbush
An r-tree for Dart; port of @mourner's rbush.
teodorov/datum
teodorov/derp-pharo
teodorov/Drawflow
Simple flow library 🖥️🖱️
teodorov/editor_from_scratch
teodorov/egos-2000
A minimal operating system (2K LOC) on QEMU and a RISC-V board
teodorov/flutter_diagram_editor
Fllutter diagram editor library
teodorov/HVM
A massively parallel, optimal functional runtime in Rust
teodorov/lambdalisp
A Lisp interpreter written in untyped lambda calculus
teodorov/lean4-tla
An embedding of TLA in L∃∀N4
teodorov/plfl
Learn Lean 4 with PLFA proofs.
teodorov/temporal-multiverse-debugging
teodorov/theta
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
teodorov/tla-linearizability
Reading the linearizability paper with TLA+
teodorov/tla-web
TLA+ Web Explorer Prototype
teodorov/widget_canvas
An infinity widget canvas built on top of 2D scrolling API