Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
Repository Index
47,133 repositories indexed
9,793–9,816 of 10,602 · Most stars
A pygame API-compatible reimplementation for running `pygame`-style code inside Jupyter notebooks (backed by ipycanvas)
Playing around with swift playground by implementing different image filter algorithms
- swift
- image-processing
🎧 Get your last weeks listening report from Spotify in a GitHub Gist.
Base OS switch for networking
Decode SCALE bytes into custom types using a scale-info type registry and a custom Visitor impl.
A collection of web components you can use on your web monetized websites.
React Simple Map for Dash
- plotly-dash
Analyse GTFS Schedule data by importing it into a DuckDB database.
Micro implementation of network block device (NBD) for micropython
A Rust WebAssembly Website example for practising english for chinese.
- rust
- webassembly
- wasm
- yew
Tiny simple blocking queue in erlang
Simple PHP federation endpoint with a static JSON dataset
R package that provides complex systems datasets from the Colorado Index of Complex Networks (ICON) at https://icon.colorado.edu/.
Very simple but effective honeypot to detect port scanning on your network
Simple lexical analyzer for shell-like syntaxes
✉️ SMPP 3.4 protocol and framework implementation in Elixir
MiniDungeons is a simple turn-based roguelike puzzle game, implemented as a benchmark problem for modeling decision-making styles of human players.
WarpView Elements for Warp 10
- warp10
- webcomponents
- warpscript
Glimmer.js-like components in Ember
Brackets extension for standard, a simple linter with sensible defaults. No longer maintained, Try using https://github.com/zaggino/brackets-eslint and https://github.com/feross/eslint-config-standard
A typescript script which creates typescript compatible declarations from a dojo api.json file.
An extensible, composable matchers library for fiveam
- common-lisp
- testing
Generate boilerplate + endpoints for Fiber or Gin REST APIs.