twosixlabs/coq-operads twosixlabs/coq-operads

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language Coq
  • Created over 1 year ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
twosixlabs/coq-operads
github

twosixlabs

Reviews

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

Repository Details

More Repositories

1

armory

ARMORY Adversarial Robustness Evaluation Test Bed
Python
176
star
2

d3-force-reuse

Faster force-directed graph layouts by reusing force approximations
JavaScript
124
star
3

acsploit

A tool for generating worst-case inputs to commonly used algorithms
Python
117
star
4

d3-force-sampled

A fast, simple, memory-efficient graph layout algorithm for visualizing networks in D3
JavaScript
50
star
5

V3SPA

Verification Validation and Visualization of Security Policy Abstractions
CoffeeScript
43
star
6

Escalation

Python
39
star
7

icas-ontology

The unified ICAS ontology designed to describe information-security related information
27
star
8

coffeebreak

Java
25
star
9

magicwand-datatool

Magicwand tool to generate tcp traffic data
Python
24
star
10

PE_for_Android

Privacy Enhancements for Android
13
star
11

armory-example

Example external repository for interacting with armory.
Python
11
star
12

armory-library

Python library for Adversarial ML Evaluation
Python
8
star
13

macrocoaster

HTML
6
star
14

gitlab-ci-scripts

Python
6
star
15

audit-log-detection

Python
6
star
16

breaking_bhad

Code from the Breaking BHAD talk at Black Hat Europe 2016
C
6
star
17

ultrazed_dev

UltraZed Development
C
5
star
18

ReWire

Haskell
2
star
19

csl

Cooperative Secure Learning
Jupyter Notebook
2
star
20

armory-datasets

Armory ecosystem module for building and integrating custom datasets
1
star
21

gardproject

External facing website for performer work on GARD Project
1
star
22

rust-blog-post

Code examples meant to accompany the blog post Building a Rust Plugin for a C++ SDK
Rust
1
star
23

pcb_structure_matching

Automated structure matching of printed circuit boards and component detection.
Python
1
star