Sign in

Repository Index

47,133 repositories indexed

Tags: Programming languages and compilers
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters (1)

Filters

Clear all filters

1–24 of 34 · Most stars

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

Thick Ada binding for OpenGL and GLFW

  • glfw
  • ada
  • opengl-bindings
  • ada-binding

Ada BFD is an Ada binding for the GNU Binutils BFD library. It allows to read binary ELF, COFF files by using the GNU BFD.