dslab-epfl/accessibility-checker dslab-epfl/accessibility-checker

  • Stars
    star
    2
  • Language
    PHP
  • License
    GNU General Publi...
  • Created over 10 years ago
  • Updated over 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dslab-epfl/accessibility-checker
github

dslab-epfl

Reviews

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

Repository Details

Tools to check the accessibility of course material and provide suggestions for improving it.

More Repositories

1

tinynf

Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without overhead is practical" (ICSE 2023)
Roff
58
star
2

cloud9

The Cloud9 main repository
C++
52
star
3

asap

Official repository for ASAP: High System-code Security at Low Overhead
C++
24
star
4

lfi

Fault injection library
Objective-C
22
star
5

pix

Repository for the Performance Interface eXtractor (PIX) tool presented at NSDI'22.
C
16
star
6

chef

The Chef symbolic execution platform, based off S2E
C
13
star
7

chef-symbex-python

A modded Python interpreter that supports symbolic execution.
Python
11
star
8

svshi

Formal verification for smart infrastructure (buildings, cities, etc.)
Python
9
star
9

klint

Repository for the "Automated Verification of Network Function Binaries" paper (NSDI'22).
Python
8
star
10

ebpf-se

Tool to symbolically execute eBPF programs
C
8
star
11

gist-static-analyzer

C++
7
star
12

chef-symbex-lua

Lua interpreter modded to support symbolic execution
C
7
star
13

cloud9-uclibc

The Cloud9/KLEE uClibc library
C
6
star
14

concord

C
6
star
15

nfos

A framework for productive development of scalable network functions
C
6
star
16

chef-tools

Python
6
star
17

myedu-catalog

EPFL MyEdu Course Catalog
Python
5
star
18

bugbase

A framework to reproduce known bugs in major systems software and do performance benchmarking of various bug finding tools
Python
5
star
19

lpn

Repo for Performance Interfaces for Hardware Accelerators.
C++
5
star
20

systems-epfl.github.io

Systems @EPFL research group home page.
HTML
4
star
21

memcached-llvm

A memcached version adapted for LLVM
C
3
star
22

cloud9-depot

The Cloud9 depot (root repository)
C++
3
star
23

symbex-smt-queries

A collection of SMT queries arising in symbolic execution workloads
2
star
24

warr

Automatically exported from code.google.com/p/warr
C++
2
star
25

buddy-suite

Automatically exported from code.google.com/p/buddy-suite
Scala
1
star
26

cloud9-boolector

Mirror of the Cloud9 Boolector repository
C
1
star
27

dimmunix

Automatically exported from code.google.com/p/dimmunix
C
1
star
28

s2e2-gui

GUI for interacting with S2E2
Python
1
star
29

jagr

Automatically exported from code.google.com/p/jagr
Java
1
star
30

s2e-guest

S2E guest utilities
C++
1
star