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

6,241–6,264 of 7,932 · Most stars

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

  • coq
  • hydra-battles
  • ordinal-notations
  • formal-proofs

This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); working on Espressif ESP32-H2 and RaspberryPi RP2350 (risc-v core)

  • ada
  • gnat
  • cortex
  • rts

Bidirectional Ring router. REST oriented. Rails inspired.

  • clojure-library
  • clojure
  • router
  • routes

A real-time charting library for Vala and GTK4 based on Cairo

  • vala
  • vala-library
  • charting-library
  • cairo

A set of Maltego transforms for VirusTotal Public API v2.0. This set has the added functionality of caching queries on a daily basis to speed up resolutions.

Unicode normalization library. (Mirror of Yoshida-san's code base to maintain the RubyGem.)

  • unicode
  • ruby
  • rubynlp

Exercism exercises in Crystal.

  • exercism-track
  • community-contributions-accepted
  • maintained-solitary