rafaelcgs10/verified_stream_processing rafaelcgs10/verified_stream_processing

  • Stars
    star
    2
  • Language Isabelle
  • License
    MIT License
  • Created 6 months ago
  • Updated 24 days ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
rafaelcgs10/verified_stream_processing
github

rafaelcgs10

Reviews

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

Repository Details

A Isabelle/HOL verification framework for Time-Aware Stream Processing

More Repositories

1

W-in-Coq

This is a Coq formalization of Damas-Milner type system and its algorithm W.
Coq
27
star
2

Latex-Beamer-UDESC

It's a beamer presentation written in LaTeX with some theme modifications.
TeX
8
star
3

my-favorite-ascii-art

Just a collection of my favorite ascii art (actually some are utf-8/unicode). Some are my creation, some are stolen.
8
star
4

nix-configs

Just my personal nix files configs and dot files
Nix
3
star
5

cli3DS

A small CLI library for Nintendo 3DS Homebrew applications
C++
2
star