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
Repository Index
47,133 repositories indexed
145–168 of 212 · Most stars
Macro based compile-time SCSS transpilation, CSS minification, and class name uniquification toolchain inspired by CSS modules.
Generates Elm types, JSON decoders, JSON encoders and fuzz tests from JSON schema specifications
- elm
- json-schema
- json
- elixir
Error/Warning reporting frontend for the PureScript compiler
raix (Reactive And Interactive eXtensions) is a functional, composable, API for AS3 that simplifies working with data, regardless of whether its interactive (arrays) or reactive (events). raix was previously RxAs
High-performance Swift framework for task execution, memory caching, and data management with intelligent execution merging, TTL caching, and retry logic
Hoare Type Theory
- hoare-logic
- hoare-monads
- separation-logic
- coq
gpool - a generic context-aware resizable goroutines pool to bound concurrency based on semaphore.
- concurrency
- workerpool
- goroutine-pool
- resource-pool
Provide await and async methods to Crystal Lang
- crystal-language
- concurrency
Blazor.BFF.AzureAD.Template, Blazor WASM hosted in ASP.NET Core using Microsoft Entra ID BFF (server authentication)
- blazor
- aad
- azuread
- template
Ada WASM Runtime and Bindings for Web API
- wasm
- gnat-llvm
- ada-runtime
- ada-wasm-runtime
The repository host gives no description.
Fast Ruby FFI string edit distance algorithms
brain-dead simple parallel processing for ruby
a tool for handling file uploads simple
- file
- upload
- multipart
- http
Natural 🌿 effect system that fits TypeScript
- algebraic-effects
- computational-effects
- effect-system
- extensible-effects
Less CSS compiler written in Java
Lightweight promises for iOS, macOS, tvOS, watchOS, and Linux
Clojure wrapper for the Tesseract OCR software
My personal website written in rust via yew/wasm
- yew
- rust
- wasm
- wasm-bindgen
Wait for any promise to be fulfilled
Permutations and permutation groups in Common Lisp.
- permutations
- permutation-groups
- permutation-algorithms
- lisp
Home for Blazor Extensions
- blazor-extensions
- blazor
- webassembly
- wasm
The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.