Sign in

Repository Index

80,339 visible repositories in the index

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

1,537–1,560 of 1,985 · Most stars

A Go Mongo library based on the official MongoDB driver, featuring streamlined document operations, generic binding of structs to collections, built-in BSON doc builder, automated field updates, struct validation, hooks, and plugin-based programming.

RAFCON (RMC advanced flow control) uses hierarchical state machines, featuring concurrent state execution, to represent robot programs. It ships with a graphical user interface supporting the creation of state machines and contains IDE like debugging mechanisms. Alternatively, state machines can programmatically be generated using RAFCON's API.

  • robotics
  • graphical-programming
  • state-machine

Protocol Puffers: A little, highly templated, and protobuf-compatible serialization/deserialization header-only library written in C++20

A Simplest in-memory and Distributed Storage-Agnostic Message Queue for Your Concurrent Go Program

Turns a PS2 disc image into a native PC program by static recompilation; builds on ps2-web-recomp (MIT). Work in progress. Bring your own disc.

  • playstation-2
  • ps2
  • recompilation
  • static-recompilation

Open-source ARM64 execution lab in safe Rust: run programs on three CPU engines and prove the results match real hardware.

  • aarch64
  • arm64
  • cpu-emulator
  • differential-testing

Programmatic modification and evaluation of software

  • software-engineering
  • source-code
  • evolutionary-computation
  • program-synthesis

Runtime type checking for JS with Hindley Milner signatures

  • hindley-milner
  • type-checking
  • functional-programming
  • invariant

TranslatedA turn-based competitive Python programming game: problem-solving speed is combat power. A web-based Python programming battle game.

Static recompiler for Nintendo Switch games. Translates the game's ARM64 code to C once and compiles it to a native Windows or Linux program, with an OpenGL renderer and an optional Vulkan one. No games, keys or firmware included.