misc0110 / pdf-webslides

Related projects ⓘ

Alternatives and complementary repositories for pdf-webslides

• sagemath / sage_sample
  A sample project illustrating how to write and distribute SageMath extensions
  ☆17Updated last year
• rems-project / cerberus
  Cerberus C semantics
  ☆53Updated this week
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆32Updated 3 years ago
• au-ts / sddf
  A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…
  ☆23Updated this week
• binsec / icse2021-artifact992
  ☆10Updated 3 years ago
• isle-project / isle-editor
  Editor for ISLE (Integrated Statistics Learning Environment) lessons.
  ☆16Updated last year
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆30Updated 5 months ago
• semgrep / semgrep-interfaces
  Store the ATD/openapi/protobuf/... interfaces between semgrep components
  ☆16Updated this week
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆43Updated last year
• darrenldl / sandboxing
  Scripts, files and tools related to sandboxing
  ☆29Updated 2 years ago
• viperproject / axiom-profiler
  The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
  ☆32Updated 4 months ago
• koehlma / rigorous
  A framework for working with inference rules.
  ☆10Updated 3 years ago
• coq-community / bits
  A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…
  ☆22Updated 3 months ago
• c4-project / c4f
  The C4 Concurrent C Fuzzer
  ☆14Updated last year
• anishathalye / knox
  A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏
  ☆33Updated last year
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆14Updated 4 months ago
• janestreet / ocaml_intrinsics
  Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…
  ☆30Updated this week
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆39Updated 7 years ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆47Updated last year
• secure-foundations / provably-safe-sandboxing-wasm-usenix22
  Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"
  ☆35Updated 2 years ago
• mit-pdos / daisy-nfsd
  DaisyNFS is an NFS server verified using Dafny and Perennial.
  ☆34Updated last month
• GaloisInc / pate
  Patches Assured up to Trace Equivalence
  ☆14Updated this week
• Robbepop / stevia
  A simple (unfinished) SMT solver for QF_ABV.
  ☆36Updated 5 years ago
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆21Updated 2 years ago
• asayers / tass
  Like less, but for tabular data
  ☆19Updated 3 months ago
• zenon-prover / zenon
  The Zenon theorem prover
  ☆14Updated last year
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆30Updated last year
• sampsyo / minisynth
  program synthesis is possible
  ☆39Updated 5 years ago
• renatahodovan / picire
  Parallel Delta Debugging Framework
  ☆47Updated this week