Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

3,145–3,168 of 4,849 · Most stars

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

  • raft
  • verdi
  • coq
  • proof

Runtime type checking for JS with Hindley Milner signatures

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

Programmatic modification and evaluation of software

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

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

A generics based dependency injection application framework for Go, supporting aspect oriented programming based on interceptors

A cross-platform native UI engine with a Go backend: write apps in Go with signals, memos and flexbox layout, and each platform draws with its own native views — iOS, macOS, Windows, Android, Linux and the web

A haxe programming library for beginners. Powered by OpenFL and Starling.

  • openfl
  • haxe
  • starling
  • framework

A powerful input-agnostic swift logging framework made to speed up development with maximum readability.