A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
Repository Index
59,621 visible repositories in the index
169–192 of 248 · Most stars
The whole LÖVE wiki in a Lua table.
- love2d
- lua
Community list of data & technology resources concerning the built environment and communities. 🏙️🌳🚌🚦🗺️
- urban-planning
- planners
- technology
- data
Find primary sources online and learn how to research history digitally.
- digital-history
- history
- historian
- awesome
All about the Backstage community (Meetups, Sessions etc.)
- backstage
🕶️ List of communities powered by Slack.
- slack
- awesome-list
- community
- awesome
🔬 A repository of resources related to citizen, community-based and/or non-institutional science
- citizen-science
- science
- lab-equipment
- scientific
The universe in numbers. Free, open-source calculators for everything countable.
Lightweight and Extensible Infrastructure for Building Web Applications - Web Application Framework
- dotnet-core
- efcore
- aspnet-core
- solid
:book: Examples of GOF patterns written in Crystal
- crystal
- crystal-patterns
- gof-patterns
- oop
A curated list of NLP resources for Hungarian
- nlp
- natural-language-processing
- text-mining
- information-retrieval
A curated list of awesome programming, development, technical support and discussion channels, groups, communities, resources and other shiny things
- awesome
- community
- groups
An Example of a PWA using Nextjs, Material-UI, Typescript and Auth0 💗
- typescript
- material-ui
- nextjs
- example
A community-curated directory for exploring, requesting, and supporting independently recreated software
- clean-room
- clean-room-reimplementation
- community
- community-driven
This is a universal library that contains everything we need to know about the Xamarin universe. This is an open-source project from the community to the community.
- xamarin
- community
- library
- universal
A curated list of awesome iOS Twitter accounts
Open Source Community for AI Researchers
Materials for GWU DNSC 6279 and DNSC 6290.
- data-science
- data-mining
- data-visualization
- machine-learning
🎓 Daily WebGL tutorials
A curated list of awesome Umbraco packages, resources and tools
- awesome
- umbraco
- awesome-list
- list
A community-curated knowledge hub and catalog for computer science, cybersecurity & software engineering books
This project shows how to use CNN to perform Chinese character recognition, a much more complicated task compared to MNIST digit recognition.
Community Curated NLP List
- nlp
- awesome-list
- community-driven
Information on joining the government community — a collaborative community for sharing best practices in furtherance of open source, open data, and open government efforts.
- government
- best-practices
- community
- peer-group