Lists (32)
🦾 AI applications
6 repositories
🤖 AI chatbots and extensions
16 repositories
🤖💗 AI etc
84 repositories
🤖💗 AI models and frameworks
40 repositories
😎 algos
4 repositories
Alpaca AI
5 repositories
APIs
8 repositories
arch linux / EndeavourOS
1 repository
🤓 awesome learning
108 repositories
🌐 browsing
1 repository
C and C++
5 repositories
crossplatform ricing
1 repository
🤓 for researchers
2 repositories
Galactica AI
9 repositories
🐈⬛git and github
32 repositories
🤖 GPT
199 repositories
🏡 home
1 repository
🦙 LLaMA
17 repositories
🤖 LLMs | langchain
separate, reorder148 repositories
🎛️ math libraries and latex
16 repositories
🖋️ obsidian
37 repositories
OpenAI
10 repositories
paper research implementations
3 repositories
🏵️ people notes
3 repositories
prompt
4 repositories
🐍 python
21 repositories
pytorch
1 repository
robotics
7 repositories
♾️ SQL and databases
3 repositories
🧩 terminal
17 repositories
>u< web deployment
3 repositories
windows
4 repositories
Starred repositories
3
stars
written in Coq
Clear filter
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
A Learning Environment for Theorem Proving with the Coq proof assistant