Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
Repository Index
47,133 repositories indexed
217–240 of 274 · Most stars
Collection of useful functions. Complete simple tasks faster!
- common
- essential
- golang
- helpers
Automatically exported from code.google.com/p/fully-justified-text
An introduction to Core Data you can test, use, change & code, all in just one Playground!
Web extension to Save tweets in a verifiable way to IPFS
Docker images for TeXlive that easily adjust to your needs
- texlive
- docker
- latex
- docker-image
Just swoof it in
- golang
- mysql
C++17 header-only library for reading and writing GTFS 🌍
Full control of post effects adjustments in Babylon.js. Support real-time post effect adjustments, mesh import, and post effect data sharing
- babylonjs
- post-effect
- real-time-rendering
- export-to-json
A low/zero interaction ssh authentication logging honeypot
- ssh-server
- honeynet
ArtStation set as wallpapers from https://www.artstation.com/artwork.rss
Just a simple implementation of DDD + clean architecture pattern. It also contains the exaplanation about the concepts that supports this implementation.
- domain-driven-design
- ddd
- ddd-architecture
- ddd-patterns
Declarative API testing
A simple Joystick for the Starling Framework. Great for Mobile Use.
A macOS app for all your EMV tag needs.
- bertlv
- emv
- mastercard
- tlv
A github action to easily build your Substrate WASM runtime using srtool with your CI
Lightweight justice for your single-board computer!
Just another header-only C++17 CSV parser
- csv
- header-only
- cpp17
🚀 Hop to anywhere, not just words. Jump based on labels to file paths, URLs, and Markdown links from any buffer(including terminal buf)
- file-navigation
- lua
- neovim
- neovim-lua
Progress bars, just like in quicklisp!
Distributed, Scalable, Fault-Tolerant, Minimalistic Workflow Engine - No DAGs, No YAML, No Cumbersome Diagrams, Just Code
- business-process
- kafka
- kafka-streams
- micorservices
Not just a UI plugin — manage the cognitive load of your own Neovim setup
- developer-tools
- keybindings
- lua
- menu
ActualLab.Fusion Samples are here. Skip SignalR and gRPC. Build real-time Blazor and MAUI apps while writing just 0.1% of the usual real-time update code. Handle 10× more API requests with the ActualLab.Rpc protocol—or 1000× more with Fusion’s transparent and perfectly coherent caching.
Script to pin files via ipns and keep them updated. Feedback appreciated : )