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/agc-assembly
☄️ VS Code syntax highlighting for Apollo Guidance Computer source code
teodorov/announce4j
Simple announcement framework for java
teodorov/Apollo-11
Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.
teodorov/Automata-1
Automata and transducer library for .NET
teodorov/BlochSphereExplorer-
A 3D Unity Application for working with Bloch Spheres
teodorov/defibrillator
Simulation of a simplified automated external defibrillator using state machines
teodorov/Flowless
Efficient VirtualFlow for JavaFX
teodorov/flutter_graph_draw
teodorov/formalized-DFS-proof
The formalized DFS (Depth First Search) proof in Coq (with the help of Graph libraries)
teodorov/fr.ensta-bretagne.gradle_scripts
a set of useful gradle scripts
teodorov/fxgraph
A JavaFX graph editor
teodorov/inet-lib
JavaScript Engine for Interaction Nets
teodorov/InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
teodorov/jkind
JKind - An infinite-state model checker for safety properties in Lustre
teodorov/lambda
Untyped lambda calculus implemented in Lean
teodorov/lambda-1
Macro Lambda Calculus
teodorov/leviathan
teodorov/logic_and_proof
CMU Undergrad Course
teodorov/powerlang
Power Smalltalk root repo
teodorov/pron.github.io
teodorov/sf_lean
teodorov/snake-ai
Solving the game of Snake with evolution
teodorov/symbolicautomata
Library for symbolic automata and symbolic visibly pushdown automata
teodorov/temporal-logic
teodorov/unitb-semantics
Proof of soundness of the Unit-B refinement calculus
teodorov/virtualagc
Virtual Apollo Guidance Computer (AGC) software
teodorov/bootstrap-scheme
A quick and very dirty Scheme interpereter.
teodorov/epsilon
epsilon is a scanner generator
teodorov/lispkit
FUNCTIONAL PROGRAMMING: Application and Implementation, Peter Henderson, ISBN 0-13-331579-7
teodorov/Mini-TT
A tiny implementation of dependent types.