Yet another pastebin
- golang
- javascript
- pastebin
- self-hosted
Repository Index
47,133 repositories indexed
14,713–14,736 of 20,287 · 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
Rendering algorithms implemented in WebGPU.
Undo. Redo. Time travel. Take control of your edit history with an interactive timeline, diff previews, taggings, live reloading trees and cleanup functions.
Xcode extension to send code to GitHub's Gist
- xcode
- xcode-extension
- xcode-plugin
- gist
:chart_with_upwards_trend: Ember addon library for C3, a D3-based reusable chart library.
A ROS implementation of Fast and Safe Tracking (FaSTrack).
A sample application that shows how to use various features of Kitura
React Library for Audio Equalizers & Filter Visualization
Bitcoin utilities in Elixir
High level go to Lua binder. Write less, do more.
- go
- golang
- lua
eBPF Security Monitoring and Sandboxing Agent Based on Aya
Fast Ruby FFI string edit distance algorithms
CodeBehind is a modern full-stack framework under ASP.NET Core. CodeBehind was developed by Elanat in 2023 and competes with Microsoft's default web frameworks (ASP.NET Core MVC and Razor Pages and Blazor). CodeBehind is an engineering masterpiece that simultaneously provides the possibility of development based on many patterns.
- aspx
- code
- code-behind
- dll
This is a UI addon that intends to help standardize the Ember family of websites and make it easier to make the Ember website an Ember app.
- ember
- emberjs
- ember-addon
- hacktoberfest
The Gopher API, is a simple CRUD API for formative purpose, we're building it while writing the posts of the blog.
Connect Ubiquiti UniFi controller to MQTT :satellite:
A little tutorial written in Swift playgrounds to learn about transducers.
Package dhcp6 implements a DHCPv6 server, as described in RFC 3315. MIT Licensed.
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.
Common Database Interface for Node
Native D client driver for MySQL/MariaDB, works with or without Vibe.d
GitHub Action for building a LÖVE Project