dijkstracula Goto Github PK

accord-ivy

The accord consensus protocol in ivy

advent-of-code-2017

advent of code 2017 solutions in standard ml

aoc2022

in rust?? am I cool yet

asciimatic

Edge detection-based ASCII art generator

azure-mud

bandwortersplitter

Compound German word splitter

beguine

ivy <-> java bridge

bigtop-viz

Where you go to watch cartpoles

blitz

German flash card generator

chroma

A general purpose syntax highlighter in pure Go

clojure-lab

Clojure workshop

cmpt220f2020lab4

Sample repository for CMPT 220 Lab 4, Winter 2020

commute

A commute planner.

dafny

Dafny is a verification-aware programming language

decker

A multimedia sketchpad

dotfiles

flint

fp-lean

Functional Programming in Lean

go-ilock

An intent lock.

go-json-rest

A quick and easy way to setup a RESTful JSON API

go-lxc

Go bindings for liblxc

go-lxc-cloexec-race

Repro case for go-lxc CLOEXEC inheritance race condition

go-metrics

Go port of Coda Hale's Metrics library

go-wortteiler

German compound word splitter webapp, version 2

haibrid-viz

ide-vscode

VSCode IDE Integration for Dafny

irving

there's no checking like bounded model checking

ivy

IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.

ivy-ts

tuplespaces in ivy

ivydb

peeker-poker for ivy programs