ivan-gavran Goto Github PK

antlab

apalache

APALACHE: symbolic model checker for TLA+

audit-celestia

Workspace set up for collaboration in the Celestia audit

automated-programming-framework

Automated Planning Framework

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

:chains: A Framework for Building High Value Public Blockchains :sparkles:

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

dzufferey.github.io

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.

hipster

Hipster4j is a lightweight and powerful heuristic search library for Java and Android. It contains common, fully customizable algorithms such as Dijkstra, A* (A-Star), DFS, BFS, Bellman-Ford and more.

interchain-security

ivan-gavran.github.io

libalf

The Automata Learning Framework

ltl-planner

multiple_turtlebots_real_world

A shared attempt to create a launch file for multiple turtlebots (under namespaces)

multiple_turtlebots_stage_amcl

An example of simulation of multiple robots in stage. They are using amcl node for localization.

mutimir-web

nmt

Namespaced Merkle Tree

pykka

Pykka is a Python implementation of the actor model, which makes it easier to build concurrent applications

quint-basics-tutorial

rosette-experiments

Simple programs trying out features of Rosette, a solver-aided programming language

samples2ltl

A tool for obtaining LTL formulas from a sample of positive and negative words.

sempre-interactive-flipper

Semantic Parser with Execution

stlinspector

Tool for STL specification validation

tla-learning

tla_python_parser

A parser for TLA+, the Temporal Logic of Actions