Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
1 "Coq" Awesome Lists
awesome-coq
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]
awesome awesome-list coq resources
287 stars
18 forks
200 projects
Last updated: 05 May 2024
Programming Languages
JavaScript
202
Python
120
Go
44
PHP
32
C#
30
Java
29
Swift
22
Rust
21
C++
19
Ruby
15
Kotlin
12
Shell
7
Dart
7
C
7
Scala
6
Lua
5
Crystal
3
R
3
Solidity
3
Common Lisp
3
ActionScript
2
Racket
2
Vala
2
Clojure
2
Julia
2
Objective-C
2
Haxe
2
Groovy
2
PowerShell
2
F#
2
Elixir
2
CSS
2
PureScript
1
Vim Script
1
V
1
Typst
1
TeX
1
Smalltalk
1
ABAP
1
Ada
1
CMake
1
CoffeeScript
1
Coq
1
D
1
Erlang
1
Game Maker Language
1
GDScript
1
Gleam
1
Limbo
1
Mathematica
1
Motoko
1
Nim
1
Nix
1
OCaml
1
Pascal
1
Keywords
awesome-list
2,418
awesome
2,207
machine-learning
320
list
289
deep-learning
280
resources
230
hacktoberfest
193
awesome-lists
183
lists
163
python
156
javascript
133
security
117
computer-vision
98
blockchain
98
artificial-intelligence
79
data-science
77
nlp
74
ai
74
react
72
open-source
68
android
65
curated-list
65
tools
64
chatgpt
63
natural-language-processing
59
ios
58
ethereum
57
learning
57
linux
55
awesome-readme
53
devops
52
css
52
papers
50
nodejs
47
reinforcement-learning
46
computer-science
42
llm
42
kubernetes
42
game-development
41
robotics
41
frontend
40
awesome-resources
39
macos
39
bitcoin
38
privacy
37
design
37
tutorial
37
golang
37
collection
36
deep-neural-networks
36
php
36
large-language-models
35
cybersecurity
35
openai
35
programming
35
development
34
java
34
datasets
33
rust
33
web
32
cloud
32
swift
32
hacking
32
cryptocurrency
32
books
32
dataset
31
paper
31
web3
30
go
30
data
30
opensource
29
security-tools
29
iot
29
education
29
gpt
27
tutorials
27
vue
27
data-visualization
27
database
27
neural-network
27
gamedev
27
aws
26
html
25
smart-contracts
25
tensorflow
25
collections
24
free
24
libraries
24
research
24
courses
24
community
24
architecture
24
ruby
23
flutter
23
software
23
docker
23
gpt-4
22
framework
22
automation
21
video
21
paper-list
21
github
21
solidity
21
game
21
typescript
21
developer-tools
21
react-native
21
gpt-3
20
api
20
games
20
reactjs
20
defi
20
object-detection
19
hardware
19
testing
19
documentation
19
angular
19
algorithms
19
music
19
links
19
serverless
18
awesomeness
18
unity
18
windows
18
bioinformatics
18
audio
18
embedded
18
pytorch
18
ml
17
cpp
17
graph-neural-networks
17
microsoft
17
dotnet
17
best-practices
17
cryptography
17
computer-graphics
17
data-mining
17
raspberry-pi
17
survey
17
hacktoberfest-accepted
17
mobile
17
federated-learning
17
segmentation
16
pentesting
16
git
16
visualization
16
web-development
16
awsome
16
productivity
16
infosec
16
startups
16
deeplearning
16
csharp
16
containers
16
r
16
youtube
16
kotlin
16
programming-language
16
cloud-computing
16
knowledge-graph
15
science
15
machinelearning
15
time-series
15
penetration-testing
15
ui
15
osint
15
azure
15
interview
15
markdown
15
software-engineering
14
neural-networks
14
llms
14
self-supervised-learning
14
language
14
chinese
14
website
14
image-processing
14
django
14
graph
14
transformer
14
microservices
14
c
14
graphql
14
decentralized
14
front-end
14
data-analysis
14
slam
14
awsome-list
14
cli
13
marketing
13
apple
13
coding
13
optimization
13
multimodal
13
opendata
13
crypto
13
vuejs
13
python3
13
roadmap
13
game-engine
13
guidelines
13
cloud-native
13
webgl
13
chatbot
13
deep-reinforcement-learning
13
blogs
13
reverse-engineering
13
saas
13
jobs
13
data-engineering
12
stable-diffusion
12
statistics
12
big-data
12
gis
12
finance
12
knowledge
12
bugbounty
12
ros
12
svelte
12
speech-recognition
12
bash
12
autonomous-driving
12
cms
12
sql
12
autonomous-vehicles
12
startup
12
mysql
12
engineering
12
mathematics
12
podcast
12
webassembly
12
wordpress
12
pentest
11
multimodal-deep-learning
11
llama
11
elasticsearch
11
distributed-systems
11
diffusion-models
11
monitoring
11
generative-adversarial-network
11
hacktoberfest2020
11
icons
11
laravel
11
gan
11
code
11
detection
11
microservice
11
prompt-engineering
11
library
11
dart
11
curated
11
bert
11
analytics
11
generative-ai
11
dapp
11
graphics
10
algorithm
10
recommender-system
10
backend
10
unicorns
10
malware-analysis
10
mlops
10
p2p
10
graphics-programming
10
generative-art
10
node
10
seo
10
devsecops
10
static-analysis
10
wasm
10
representation-learning
10
self-hosted
10
automl
10
performance
10
storage
10
model-compression
10
unity3d
10
question-answering
10
pwa
10
terminal
10
resource
10
articles
10
apps
10
open-data
10
evm
10
rails
10
networking
10
text-mining
10
ecommerce
10
vscode
10
cheatsheet
10
prompt
10
data-structures
10
android-library
10
android-development
10
dotnet-core
10
telegram
10
design-systems
9
react-components
9
swiftui
9
js
9
webpack
9
transfer-learning
9
blog
9
guide
9
semantic-web
9
technology
9
movies
9
oss
9
quantization
9
podcasts
9
malware
9
front-end-development
9
plugins
9
authentication
9
chatgpt-api
9
pose-estimation
9
simulation
9
search
9
databases
9
point-cloud
9
interview-questions
9
gpts
9
software-development
9
remote-sensing
9
search-engine
9
fuzzing
9
art
8
nerf
8
mac
8
ubuntu
8
ctf
8
developer
8
vr
8
multimodal-learning
8
speech-processing
8
management
8
sentiment-analysis
8
ux
8
powershell
8
indonesia
8
planning
8
neural-architecture-search
8
jupyter-notebook
8
spring-boot
8
transformers
8
augmented-reality
8
ansible
8
creative-coding
8
course
8
language-model
8
vision-and-language
8
geospatial
8
foss
8
fpga
8
haskell
8
json
8
erlang
8
discord
8
pruning
8
frameworks
8
classification
8
trading
8
cross-platform
8
3d-graphics
8
operating-system
8
quantum-computing
8
text-to-image
8
free-software
8
hacktoberfest2021
8
edge-computing
8
system-design
8
reading-list
8
korean
8
xcode
8
reddit
8
google
8
article
8
leadership
8
bsd
8
prometheus
8
book
8
videos
8
projects
8
microservices-architecture
8
command-line
8
cv
8
postgresql
8
gpu
7
fairness
7
reference
7
adversarial-attacks
7
adversarial-machine-learning
7
hacking-tools
7
map
7
conference
7
opengl
7
chemistry
7
machine-learning-algorithms
7
learning-resources
7
vulnerabilities
7
fintech
7
explainable-ai
7
paas
7
semantic-segmentation
7
hosting
7
k8s
7
bots
7
ide
7
gpt4
7
terraform
7
speech-to-text
7
gaming
7
ui-design
7
cvpr
7
forensics
7
bookmarks
7
nosql
7
xai
7
time-series-analysis
7
speech
7
readme
7
conferences
7
ionic
7
websites
7
font
7
chinese-translation
7
open-science
7
yolo
7
infrastructure
7
lightning-network
7
curated-lists
7
maps
7
static-site-generator
7
webcomponents
7
healthcare
7
flutter-examples
7
flutter-apps
7
load-testing
7
email
7
application
7
notes
7
drug-discovery
7
wordpress-plugin
7
blockchain-technology
7
arduino
7
checklist
7
3d-vision
7
nginx
7
spark
7
programming-languages
7
in-context-learning
7
twitter
7
btc
7
applications
7
few-shot-learning
7
sysadmin
7
rest-api
7
flask
7
aigc
7
infrastructure-as-code
7
beginner-friendly
7
animation
7
interpretability
7
tracking
6
generative-model
6
privacy-tools
6
project-management
6
production
6
meta-learning
6
contrastive-learning
6
engine
6
information-extraction
6
earth-observation
6
drupal
6
reasoning
6
hacks
6
npm
6
layer2
6
redux
6
browser
6
career
6
physics
6
it
6
model
6
writing
6
image-classification
6
benchmark
6
openbsd
6
distributed-computing
6
plugin
6
unsupervised-learning
6
tips
6
network
6
research-paper
6
3d
6
mobile-development
6
sre
6
cheatsheets
6
image
6