Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters (1)

Filters

Clear all filters

1–24 of 36 · Most stars

Official home of the DB Browser for SQLite (DB4S) project. Previously known as "SQLite Database Browser" and "Database Browser for SQLite". Website at:

  • database-browser
  • sqlite
  • sqlitebrowser
  • c-plus-plus

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained C-code generation and interfaces state-of-the-art codes such as SUNDIALS, IPOPT etc. It can be used from C++, Python, Matlab/Octave, Julia or Javascript

open-appsec is a machine learning security engine that preemptively and automatically prevents threats against Web Application & APIs. This repo include the main code and logic.

Public/backup repository of the GROMACS molecular simulation toolkit. Please do not mine the metadata blindly; we use https://gitlab.com/gromacs/gromacs for code review and issue tracking.

eBPF verifier based on abstract interpretation

  • abstract-interpretation
  • static-analyzer
  • ebpf
  • ebpf-verifier

Burnout Revenge recompilation based on RexGlue + standalone Plume render

Header-only, lightweight C++ library for binary streaming & serialization. Network data handling made easy peasy!

  • binary-stream
  • header-only
  • serialisation
  • serialization