A language for writing HTML user interfaces in Go.
- templating-languages
- ide-support
- lsp
- language-server
Repository Index
47,133 repositories indexed
1–6 of 6 · Most stars
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
Blazor UI Components & Examples
- blazor
- microsoft-blazor
- asp-net-core
- dotnet
Optimized JSON in C
- fast
- ojc
- json
- json-parsing
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
- coq
- bourbaki
- set-theory
- mathcomp