Ultra high performance RPC
- high-preformance
- epoll
- rpc-framework
- flatbuffers
Repository Index
47,133 repositories indexed
97–116 of 116 · Most stars
The formal proof of the Odd Order Theorem
- coq
- ssreflect
- mathcomp
- feit-thompson-theorem
[Preact](https://preactjs.com/) Server-side Rendering with Redux Example
Micromega tactics for Mathematical Components
- coq
- ssreflect
- mathcomp
- proof-automation
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
- coq
- bourbaki
- set-theory
- mathcomp
Stable sort algorithms and their stability proofs in Rocq
- mathcomp
- ssreflect
- sorting-algorithms
- mergesort
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
- coq
- canonical-structures
- typeclasses
- ssreflect
Hosting NextJS app in Firebase with Cloud Functions.
Ember Octane + FastBoot + Algolia + PayPal + Formspree
A Binary Memcached client for Go with support for sharding using consistent hashing, along with SASL.
- go
- golang
- memcached
- memcached-clients
A framework experience for Yew.
- framework
- rust
- ssr
- yew
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
- coq
- mathcomp
- ssreflect
- tarjan-algorithm
An easy way to create offline collections with SSR for Meteor
This example demonstrates yew server-side rendering with actix-web.
Simple pipeline for SSR + hydration of Lit components.
- bridgetown
- bridgetown-plugin
- ssr
- lit-element
A Preact component for skipping server side rendering (SSR) of components. This component helps render components on the server that make sense to be rendered above the fold or that only makes sense to render on client.
Server-side rendering (SSR) with Blazor components
Local CrossRef database with 167M+ works and full-text search
- abstract
- citation
- impact-factor
- localhost
The repository host gives no description.
A Gravatar blazor component for use in Blazor SSR, Server or WASM
- blazor
- blazor-example
- blazor-server
- blazor-wasm