Sign in

Repository Index

72,362 visible repositories in the index

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

4,009–4,032 of 5,005 · Most stars

Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.

  • baseline
  • cli
  • legacy-code
  • mypy

🧙 meiga is a Python µframework that provides a simple, fully typed, monad-based result type ➡️ Result[Value, Error].

  • monads
  • result-type
  • typing
  • python

Builds and restarts a Go project when it crashes or some watched file changes

  • livereload
  • restart-server

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

Student submissions for the WWDC 2025 - Swift Student Challenge

  • apple
  • swift-playgrounds
  • swift-student-challenge
  • wwdc