Popular repositories Loading

1. Windows-universal-samples Windows-universal-samples Public

   Forked from microsoft/Windows-universal-samples

   API samples for the Universal Windows Platform.

   JavaScript

2. poly-reductions poly-reductions Public

   Forked from wimmers/poly-reductions

   Polynomial-time reductions in Isabelle/HOL

   Isabelle 1

3. analyzer analyzer Public

   Forked from goblint/analyzer

   Static analysis framework for C

   OCaml

4. survey-library survey-library Public

   Forked from surveyjs/survey-library

   Free JavaScript form builder library with integration for React, Angular, Vue, jQuery, and Knockout.

   TypeScript

5. FHG FHG Public

   Isabelle

6. wasm-tools wasm-tools Public

   Forked from bytecodealliance/wasm-tools

   CLI and Rust libraries for low-level manipulation of WebAssembly modules

   Rust