Popular repositories Loading

1. nanohttpd nanohttpd Public

   Forked from NanoHttpd/nanohttpd

   Tiny, easily embeddable HTTP server in Java.

   Java

2. gym gym Public

   Forked from openai/gym

   A toolkit for developing and comparing reinforcement learning algorithms.

   Python

3. vscode-highlight vscode-highlight Public

   Forked from fabiospampinato/vscode-highlight

   Advanced text highlighter based on regexes. Useful for todos, annotations etc.

   TypeScript

4. xv6-riscv xv6-riscv Public

   Forked from mit-pdos/xv6-riscv

   Xv6 for RISC-V

   C

5. vcpkg vcpkg Public

   Forked from microsoft/vcpkg

   C++ Library Manager for Windows, Linux, and MacOS

   CMake

6. dg dg Public

   Forked from mchalupa/dg

   [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

   C++