🚀 A fast WebAssembly interpreter and the most universal WASM runtime
Repository Index
70,736 visible repositories in the index
1–14 of 14 · Most stars
🐼 Universal, Type-Safe, CSS-in-JS Framework for Design Systems ⚡️
- css
- styled-system
- typescript
- utility-classes
Fibers, Channels and Actors for the JVM
- java
- jvm
- fibers
- actors
🔥call app from h5（H5唤起客户端 ）
- callapp
- schema
- scheme
- universallink
Parse, Resolve, and Dereference JSON Schema $ref pointers in Node and browsers
- javascript
- nodejs
- json-schema
- json-reference
Universal toplevel for OCaml
Fibers, Channels and Actors for Clojure
- clojure
- fibers
- actors
- jvm
Fibers and actors for web development
ReScript bindings for Formidable's Universal React Query Library, urql.
- reasonml
- graphql
- reasonreact
- bucklescript
feedparser gem - (universal) web feed parser and normalizer (XML w/ Atom or RSS, JSON Feed, HTML w/ Microformats e.g. h-entry/h-feed or Feed.HTML, Feed.TXT w/ YAML, JSON or INI & Markdown, etc.)
- feed
- atom
- rss
- feedparser
Most comprehensive OpenSSL module in the Lua universe.
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.
The universal ISSR server compatible with <your-favorite-programming-language>
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action