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/virtual_fpga
a simple virtual FPGA
teodorov/automata
Beginning of formal language theory
teodorov/bohm
Bologna Optimal Higher-order Machine
teodorov/cisics
a simple particle simulation
teodorov/coqioa
A formalization of IO automata in the Coq proof assistant
teodorov/GoedelGod
Formalizations of Gödel's Ontological Proof of God's Existence
teodorov/iverilog
Icarus Verilog
teodorov/kino
Kinō (帰納: induction, recursion) is an SMT-based, k-induction engine for transition systems.
teodorov/kishonsemantics
An OCaml implementation prototype from Kishon, Hudak and Consel's 1991 PLDI paper.
teodorov/lean.js
An example of using Lean's backend API to implement a new language backend.
teodorov/literate-unitb-complete
Verifier for Unit-B -- Alpha-stage software. Please don't post to HN or Reddit
teodorov/llst
LLVM powered Little Smalltalk.
teodorov/ltl
Linear Temporal Logic
teodorov/netqi
Game theory based model checker
teodorov/nvc
VHDL compiler and simulator
teodorov/obp_atsyra
teodorov/optlam
An optimal function evaluator written in JavaScript.
teodorov/PharoCandle
teodorov/plug_wui
teodorov/regexp
Regular Expression
teodorov/semantics
A survey of semantics styles, from natural semantics through structural operational, axiomatic, and denotational semantics, to abstract interpretation.
teodorov/semantics-lean
teodorov/SETool
A light modeling tool for System engineering
teodorov/sle16
SLE 2016 Artefact Evaluation
teodorov/sle2016
Proof-of-concept implementation of the monitoring pattern
teodorov/smc
BDD based symbolic model checker for the modal mu-calculus
teodorov/stlc
An implementation of STLC in Lean
teodorov/UML-DSimulator
It is a plugin for UML Designer which permit to use a simulator developed by Ciprian Teodorov
teodorov/bit-scheme
BIT: A Very Compact Scheme System for Microcontrollers
teodorov/nqthm
nqthm - the original Boyer-Moore theorem prover, from 1992