jcp19/zh_gophers_gobra jcp19/zh_gophers_gobra

  • Stars
    star
    1
  • Language
    Go
  • Created about 2 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jcp19/zh_gophers_gobra
github

jcp19

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Slide deck and examples from my talk on Gobra @ Zürich Gophers, 26.10.2022

More Repositories

1

SPIDER

Automated data race detection from a distributed trace via SMT constraint solving
Java
16
star
2

oldVerifiedSCION

A verified version of SCION's go source code
Go
8
star
3

laop_coq

Trying to prove the Linear Algebra of Programming Properties (LAOP) instantiated for the indutive matrix definition provided by the laop library for Haskell.
Coq
3
star
4

jcp19

2
star
5

micro-benchmarks

Fork of minha-benchmarks, a suit of tests for the MINHA framework
Java
2
star
6

owncloud_ansible

ownCloud network deployment
Shell
1
star
7

robot_festival_2014

Code made in high school for my Robotic's team, to participate in National Festival of Robotics 2014
Arduino
1
star