AIbase

AI News

AI News

Don't miss any moment of global AI innovation

AI Daily

Daily three-minute AI industry trends

AI Timeline

AI industry milestones

AI Monetization Guide

Latest Cases

AI monetization case sharing

Image Collection

AI image creation monetization cases

Video Collection

AI video creation monetization cases

Audio Collection

AI audio creation monetization cases

Content Collection

AI content writing monetization cases

AI Tutorials

Latest Tutorials

Free sharing of the latest AI tutorials

AI Product Rankings

AI Product Ranking

Shows total visits ranking of AI websites

AI Traffic Growth Ranking

Track fastest growing AI websites by traffic

AI Traffic Decline Ranking

Focus on AI websites with significant traffic drops

AI Weekly Ranking

Shows weekly visits ranking of AI websites

Popular Country Rankings

United States

AI websites most popular with US users

China

AI websites most popular with Chinese users

India

AI websites most popular with Indian users

Brazil

AI websites most popular with Brazilian users

Popular Category Rankings

Image Generation

Total visits ranking of AI image generation websites

Personal Assistant

Total visits ranking of AI personal assistant websites

Character Generation

Total visits ranking of AI character generation websites

Video Generation

Total visits ranking of AI video generation websites

Popular Open Source Data Rankings

AI Project Ranking

GitHub popular AI projects by total stars

AI Project Growth Ranking

GitHub popular AI projects by growth rate

AI Developer Ranking

GitHub popular AI developer ranking

AI Organization Ranking

GitHub popular AI organization ranking

Popular Open Source Categories

Deepseek

GitHub popular deepseek open source projects

TTS

GitHub popular TTS open source projects

LLM

GitHub popular LLM open source projects

ChatGPT

GitHub popular ChatGPT open source projects

AI Open Source Project Library

Overview

Overview of GitHub popular AI open source projects

Product LibraryTool Navigation

Prover9

Public

Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.

computer-sciencefirst-order-logiclogicmathematicsmodel-checkingtheorem-provertheorem-proving
Creat：2018-08-09T00:41:17
Update：2025-03-15T06:21:27
http://www.cs.unm.edu/~mccune/prover9/
50
Stars
0
Stars Increase

Related projects

Computer Science

awesome-list

? Path to a free self-taught education in Computer Science!

177821
1周前
+19today

Awesome Courses

awesome

:books: List of awesome university courses for learning Computer Science!

59820
1周前
+6today

Tech Interview For Developer

algorithm

?? ?? ??? ?? ?? & ?? ?? ???? ?

15621
1周前
-2today

Ciencia Da Computacao

awesome-list

? Um caminho para a educa??o autodidata em Ciência da Computa??o!

15100
1周前
+5today

Mind Expanding Books

awesome

:books: Find your next book to read!

12201
1周前
+1today

Software Papers

0
awesome-list

? A curated list of papers for Software Engineers

5809
1周前
0

AlgoWiki

0
algorithm

Repository which contains links and resources on different topics of Computer Science.

4223
1周前
0

Typedb

database

TypeDB: the power of programming, in your database

3959
1周前
+1today

ML Foundations

calculus

Machine Learning Foundations: Linear Algebra, Calculus, Statistics & Computer Science

3939
1周前
+1today

Reading

academia

A list of computer-science readings I recommend

3310
1周前
+1today