Ivan Gavran's repositories
samples2LTL
A tool for obtaining LTL formulas from a sample of positive and negative words.
multiple_turtlebots_real_world
A shared attempt to create a launch file for multiple turtlebots (under namespaces)
apalache
APALACHE: symbolic model checker for TLA+
audit-celestia
Workspace set up for collaboration in the Celestia audit
automated-programming-framework
Automated Planning Framework
cosmos-sdk
:chains: A Framework for Building High Value Public Blockchains :sparkles:
celestia-app
PoS application for the consensus portion of the Celestia network. Built using celestia-core (fork of CometBFT) and the cosmos-sdk
cosmos-sdk-codeql
A query suite for common bug patterns in Cosmos SDK-based applications
deepsynth
DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
demo2program
An official TensorFlow implementation of "Neural Program Synthesis from Diverse Demonstration Videos" (ICML 2018) by Shao-Hua Sun, Hyeonwoo Noh, Sriram Somasundaram, and Joseph J. Lim
flatex
A Python script for "flattening" a nested LaTeX document by pulling in all the \input files
flipper
Talk to your robot in a natural way
go-exampleproject
A very simple "hello world"-like project to experiment with basic codeQL queries.
libalf
The Automata Learning Framework
nmt
Namespaced Merkle Tree
rosette-experiments
Simple programs trying out features of Rosette, a solver-aided programming language
sempre-interactive-flipper
Semantic Parser with Execution
STLInspector
Tool for STL specification validation
tla_python_parser
A parser for TLA+, the Temporal Logic of Actions
trufflesuite.com
Truffle Suite website source