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