Use your locally running AI models to assist you in your web browsing
- chat-application
- chrome-extension
- open-source
- localllm
Repository Index
64,764 visible repositories in the index
1–6 of 6 · Most stars
Translated:hammer_and_wrench: :heart: Want to know NixOS & Flakes in detail? Looking for a beginner-friendly tutorial? Then you've come to the right place!
The repository host gives no description.
A blazingly fast programmatic video engine, made for agents.
TranslatedGive Jingjing a complete world
TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a proof.
- formal-verification
- lean4
- proof-carrying-code
- type-safety