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

9,697–9,720 of 12,233 · Most stars

GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell

  • haskell
  • haskell-application
  • cqrs-application
  • frp

### This project has been merged ESPHelper. Please use https://github.com/ItKindaWorks/ESPHelper ### A port of the ESPHelper library for ESP32 devices

Windows tool to display the internal structure of an MXF (Material eXchange Format) file

  • mxf
  • inspect
  • analyzer
  • broadcast

A script editor plugin for Godot 4.4+. Adds top tabs, outline panel, better navigation, and customizable styling. Based on Script-IDE by Marius Hanl.

Persistent, fast and secure signature provider for EOSIO chains built on top of EOSIO Signing Requests (EEP-7)

  • anchor-link
  • eos
  • eosio
  • eosio-signing-request

The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.

A component based game engine for AS3. Master version is currently 0.4.3. Please note, the dev branch is currently under heavy development for 0.5 and should be considered unstable. There will be a few breaking changes.