Build production-ready applications in TypeScript
- effect
- javascript
- cli
- opentelemetry
Repository Index
61,121 visible repositories in the index
1–6 of 6 · Most stars
A language for writing HTML user interfaces in Go.
- templating-languages
- ide-support
- lsp
- language-server
A formalization of geometry in Coq based on Tarski's axiom system
🌟 DataFormsJS 🌟 A minimal JavaScript Framework, standalone React and Web Components, and JSX Compiler for rapid development of high quality websites and single page applications.
- javascript-framework
- react-components
- web-components
- dataformsjs
Julia interface to WebGL using Three-js custom elements and Patchwork.jl
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
- coq
- bourbaki
- set-theory
- mathcomp