haslab/CircGen haslab/CircGen

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language Coq
  • Created about 8 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
haslab/CircGen
github

haslab

Reviews

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

Repository Details

More Repositories

1

Electrum

A model checker for relational first-order temporal specifications
Java
27
star
2

echo

A tool for model repair and transformation
Java
12
star
3

HAAP

Haskell Automated Assessment Platform
Haskell
8
star
4

labhe

Labelled homomorphic encryption implementation (ESORICS 2017)
C
8
star
5

halex

Haskell
8
star
6

Scalable-Bloom-Filters

Erlang
7
star
7

Dotted-Version-Vectors

Erlang
4
star
8

libjbn

BigNums library for Jasmin
C
4
star
9

why3do

Why3-do: a WhyML library for state machine specifications and distributed systems
Shell
4
star
10

SecreC

Haskell
3
star
11

ccomp-simd

SIMD extensions for ccomp
C
3
star
12

ifta

Scala
3
star
13

MeT

Python
2
star
14

electrum-old

2
star
15

apex

1
star
16

hcispecs

Formal models of human-machine interfaces
HTML
1
star
17

QAIS

Quantitative Analysis of Interacting Systems
Haskell
1
star
18

Interval-Tree-Clocks

Java
1
star