Sign in

Repository Index

75,859 visible repositories in the index

Tags: Backend and APIs
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

1,441–1,464 of 2,086 · Most stars

Elixir library that provides macros which allow you to encapsulate business logic and validate incoming parameters with predefined contract.

  • elixir
  • coercion
  • ddd
  • operation-invocation

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

Runtime type checking for JS with Hindley Milner signatures

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