Repository Index

.NET (WPF and Windows Forms) bindings for the Chromium Embedded Framework

• cefsharp
• c-sharp
• c-plus-plus
• wpf

A home for your business logic in any .NET application.

• csla
• windows-forms
• wpf
• blazor

A framework for formally verifying distributed systems implementations in Coq

• verdi
• coq
• coq-library
• proof

golang worker pool , Concurrency limiting goroutine pool

• golang
• pool
• concurrency
• workerpool

Source code for the Uno Gallery apps and Uno Playground (made in Wasm)

• uno
• uno-platform
• webassembly
• wasm

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

• raft
• verdi
• coq
• proof

GLFW C++ Wrapper - thin, modern, C++17, header-only GLFW wrapper

• glfw
• cpp
• cpp17
• wrapper

A light-weighted Promise library for Objective-C

Libraries to ease common developer tasks associated with building multi-platform mobile, desktop and web applications using Uno Platform or WinAppSDK.

• uno
• uno-platform
• webassembly
• wasm

Unified UI Testing Framework for Uno Platform based applications

• wasm
• android
• ios
• uno-platform