imdea-software/htt imdea-software/htt

  • Stars
    star
    67
  • Rank 462,689 (Top 10 %)
  • Language Coq
  • License
    Apache License 2.0
  • Created over 10 years ago
  • Updated 7 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
imdea-software/htt
github

imdea-software

Reviews

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

Repository Details

Hoare Type Theory

More Repositories

1

legosnark

C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.
C++
37
star
2

verifying-constant-time

Makefile
35
star
3

fcsl-pcm

Partial Commutative Monoids
Coq
26
star
4

LLVM_Instrumentation_Pass

C++
23
star
5

homomorphic-authentication-library

HAL: A Library for Homomorphic Authentication
C
19
star
6

swiftpaxos

Prototype implementation of SwiftPaxos (NSDI 2024)
Go
12
star
7

MSCProof

Implementation of the paper "Modular Sumcheck Proofs with Applications to Machine Learning and Image Processing"
Rust
9
star
8

async-droid

Java
7
star
9

leap

A theorem prover for the temporal parametrized verification of concurrent data types
OCaml
6
star
10

hlola

A Runtime Verification Engine
Haskell
5
star
11

apkmonk-scraper

Python script to download all apk releases from apkmonk.com
Python
2
star
12

imdea-PLC

IMDEA Software Programming Languages Club
Haskell
2
star
13

remeddos

JavaScript
1
star
14

violin

Ruby
1
star
15

HStriver

Haskell
1
star
16

dLola

Decentralized Stream Runtime Verification
Go
1
star
17

hs-to-ciao

Source-to-source Haskell into Ciao Prolog for automatic resource analysis.
Haskell
1
star
18

popl-2016-artifact

Ruby
1
star
19

striver-full

The runtime verification infrastructure for the fully fledged version of Striver
Java
1
star
20

lunar

A Rust library for the Lunar universal zkSNARK
Rust
1
star
21

TesslaServer

Runtime for Tessla Specifications
Elixir
1
star