Repository Index

Formal verification for OCaml, with Rocq

• ocaml
• compiler
• formal-verification
• rocq

🚃 A library for handling mediator patterns and simplified CQRS patterns within an event-driven architecture, inspired by csharp MediatR library.

• cqrs
• golang
• mediator
• mediator-pattern

UnifiedArchive - an archive manager with unified interface for different formats (bundled with cli utility). Supports all formats with basic operations (reading, extracting and creation) and popular formats specific features (compression level, password-protection, comment)

• tar
• zip
• rar
• archives

A data infrastructure framework, providing the tools for modelling and interacting with data collections and objects.

• javascript
• dojo
• rql

Easily bring your Python applications online with the world's lightest GUI toolkit.

• web
• gui
• webgpio
• python3

Renders the result of Draft.js convertToRaw using provided callbacks, works well with React

CarCast — a CarPlay receiver for macOS, Windows, iPhone and iPad (iCarCast), and Android tablets and head units, with a protocol inspector: release notes, docs and issues. Source is not public.

• airplay
• android
• carplay
• iap2

A clean and lightweight progress HUD based on SVProgressHUD, converted to Swift with the help of Swiftify.

• swift4
• svprogresshud
• cocoapods
• hud

SQL document database with full history.

• database
• immutable
• sql

SSH wrapper script that brings your dotfiles always with you on Linux and OSX

:file_folder: ElFinderBundle provides ElFinder integration with TinyMCE, CKEditor, Summernote editors

• ckeditor
• tinymce
• elfinder
• bundle

A native runtime for GTA V’s WebAssembly build, running on iOS, macOS, Android and Windows without JIT compilation.

A starting point for building isomorphic React applications with ASP.NET Core, leveraging existing techniques.

• react
• c-sharp
• mvc
• asp-net-mvc

Functions for installing softwares from within R

Create temporary playground files effortlessly. Find them later without worrying about filenames or locations.

• nvim-plugin

Easily notify a user with a simple alert, inform them of an optional update, and in dire situations block the user from accessing older versions of the application completely.

• android
• gandalf
• update

Bring life to CALayers with SpriteKit-like animation builders

Documentation on building a HTTPS stack in AWS with HAProxy

Manage Pagerduty on-call schedules from within your internal chat channels.

Sophisticated and functionally-minded async with advanced features: coroutines, promises, ES2015 iterables, fantasy-land

• promise
• fantasy-land
• async
• asynchronous

A fast, local-first Notion alternative built with Rust + Tauri. Block editor, nested pages, full-text search, black-and-white UI, ~115 MB RAM.

• desktop-app
• local-first
• notes
• notion-alternative

GeoJson POJOs for Jackson - serialize and deserialize objects with ease

ReactRelayNetworkLayer with middlewares and query batching for Relay Classic.

• relay
• relay-network-layer
• graphql-client
• batch-request

Control your Spotify player from a ESP8266 with color touch display

• spotify-player
• arduino-ide
• esp8266
• esp8266-arduino