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

Filters

Clear all filters

481–504 of 798 · Most stars

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

pure functional and generic programming for Erlang

  • foldable
  • traversable
  • erlang
  • lenses

Actor library for C# with additional modules that support persistence to Redis, as well as JS integration

GLFW C++ Wrapper - thin, modern, C++17, header-only GLFW wrapper

  • glfw
  • cpp
  • cpp17
  • wrapper

Decorator which checks whether the function is called with the correct type of parameters.

  • python
  • type-checking
  • runtime-checking
  • typechecking

🌟 Useful functional programming helpers for Go

  • golang
  • go
  • functional-programming
  • library

Static scope analysis and transpilation of ES6 block scoped const and let variables to ES3 vars

Thick Ada binding for OpenGL and GLFW

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

Official SDL2 & SDL3 bindings for V

  • bindings
  • module
  • sdl
  • sdl2