A declarative, HTML-based language that makes building web apps fun
- javascript
- ui-components
- dom
- vdom
Repository Index
47,133 repositories indexed
1–9 of 9 · Most stars
🧵 Make web workers & worker threads as simple as a function call.
- javascript
- nodejs
- thread-pool
- web-worker
A Coq library for Homotopy Type Theory
- type-theory
- homotopy-type-theory
- univalent-foundations
Partial lenses is a comprehensive, high-performance optics library for JavaScript
- isomorphism
- traversal
- fold
- immutable
An axiom-free formalization of category theory in Coq for personal study and practical work
- category-theory
- coq
- monad
- profunctor
CAN DBC to C (and CSV, JSON and XML) compiler using the mpc parser combinator library
- dbc
- c
- misra
- automotive
Tomorrow's JavaScript syntax today
Delphi implementation of ZeroMQ Majordomo protocol and CZMQ high level binding
Lightweight Promises for Swift & Obj-C
- futures
- promises
- swift
- objective-c