Giters
Ivan Gavran (ivan-gavran)

ivan-gavran

Geek Repo

11

followers

1

following

44

stars

Home Page:https://ivan-gavran.github.io/

Github PK Tool:Github PK Tool

Ivan Gavran's starred repositories

go-codegen

Generate Golang code for your CosmWasm smart contracts.

Language:GoLicense:Apache-2.0Stargazers:20Issues:0Issues:0

cosmwasm-to-quint

Semi-automated modelling and Model-Based Testing for CosmWasm contracts

Language:RustLicense:Apache-2.0Stargazers:12Issues:0Issues:0

unite

Language:PythonStargazers:1Issues:0Issues:0

itf-rs

Rust library for consuming Apalache ITF traces

Language:RustLicense:Apache-2.0Stargazers:5Issues:0Issues:0

cosmwasm-ctf

Language:RustStargazers:35Issues:0Issues:0

piwasm

Language:RustLicense:MITStargazers:1Issues:0Issues:0

wasp

The fastest way to develop full-stack web apps with React & Node.js.

Language:TypeScriptLicense:MITStargazers:12313Issues:0Issues:0

cosmos-sdk-codeql

A query suite for common bug patterns in Cosmos SDK-based applications

Language:CodeQLLicense:Apache-2.0Stargazers:18Issues:0Issues:0

codeql-dubbo-workshop

Language:CodeQLLicense:MITStargazers:52Issues:0Issues:0

audits

Security Audits by Informal Systems

Language:TLALicense:Apache-2.0Stargazers:15Issues:0Issues:0

matla

A manager for TLA+ projects, written in Rust.

Language:RustLicense:Apache-2.0Stargazers:8Issues:0Issues:0

picard

PICARD - Parsing Incrementally for Constrained Auto-Regressive Decoding from Language Models. PICARD is a ServiceNow Research project that was started at Element AI.

Language:HaskellLicense:Apache-2.0Stargazers:324Issues:0Issues:0

atomkraft

Advanced fuzzing via Model Based Testing for Cosmos blockchains

Language:PythonLicense:Apache-2.0Stargazers:77Issues:0Issues:0

interchaintest

e2e testing framework for the interchain

Language:GoLicense:Apache-2.0Stargazers:173Issues:0Issues:0

rover

Rover for Cosmos Network

Language:RustLicense:Apache-2.0Stargazers:4Issues:0Issues:0

quint

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Language:TypeScriptLicense:Apache-2.0Stargazers:599Issues:0Issues:0

modelator-py

Utilities for the TLA+ ecoystem and model-based testing using TLA+.

Language:PythonLicense:Apache-2.0Stargazers:28Issues:0Issues:0

tla-apalache-workshop

Material for a workshop on Apalache and TLA+. To be populated with more examples.

License:Apache-2.0Stargazers:22Issues:0Issues:0

DrTLAPlus

Dr. TLA+ series - learn an algorithm and protocol, study a specification

Language:TLAStargazers:782Issues:0Issues:0

interchain-security-testnet

Language:GoStargazers:1Issues:0Issues:0

apalache

APALACHE: symbolic model checker for TLA+ and Quint

Language:ScalaLicense:Apache-2.0Stargazers:414Issues:0Issues:0

spec

Language:TeXStargazers:131Issues:0Issues:0

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

Language:PythonLicense:MITStargazers:102Issues:0Issues:0

asnets

Source for Action Schema Networks paper (AAAI'18)

Language:PDDLLicense:MITStargazers:28Issues:0Issues:0

AdvisoRL

Advice-Guided Reinforcement Learning in a Non-Markovian Environment

Language:C++License:NOASSERTIONStargazers:7Issues:0Issues:0

ltltalk-interactive-synthesis

Language:PythonStargazers:6Issues:0Issues:0

rl-agents

Implementations of Reinforcement Learning and Planning algorithms

Language:PythonLicense:MITStargazers:540Issues:0Issues:0

ec

Language:SlashLicense:MITStargazers:417Issues:0Issues:0

automated-programming-framework

Automated Programming Framework

Language:ShellStargazers:13Issues:0Issues:0

inferrer

An automata learning library written in Python.

Language:PythonLicense:GPL-3.0Stargazers:45Issues:0Issues:0