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,601–9,624 of 12,849 · Most stars

DDBC is DB Connector for D language (similar to JDBC)

`llthreads` library rewritten without `LuaNativeObjects` code generator

  • lua
  • threading
  • pthreads
  • lua-binding

Friendly library to push and receive instant notifications using ntfy.sh servers in Delphi

  • delphi
  • notifications
  • ntfy
  • push-notifications

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

A GameBoy printer emulator which provides the received data over a wifi-connection.

  • gameboy-camera
  • gameboy-printer
  • gameboy-printer-emulator

Tool to find code cave in PE image (x86 / x64) - Find empty space to place code in PE files

  • codecave
  • cpp
  • pe
  • winapi