Awesome Open Source

Programming Languages

Metamath.jl

Verifier for Metamath proof databases written in Julia

Categories > Data Storage > Database

Suggest Alternative

Stars

7

License

cc0-1.0

Most Recent Commit

3 years ago

Programming Language

Objective-C++

Categories

Data Storage > Database

Programming Languages > Julia

Alternatives To Metamath.jl

Select To Compare

Netdata ⭐ 67,808

The open-source observability platform everyone needs!

most recent commit a month ago

Redis ⭐ 64,667

Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs, Bitmaps.

dependent packages 3total releases 1most recent commit 19 days ago

Cs Video Courses ⭐ 62,887

List of Computer Science courses with video lectures.

most recent commit 4 months ago

Etcd ⭐ 46,406

Distributed reliable key-value store for the most critical data of a distributed system

dependent packages 2,948total releases 403most recent commit 3 days ago

Meilisearch ⭐ 43,235

A lightning-fast search API that fits effortlessly into your apps, websites, and workflow

most recent commit 17 days ago

Dbeaver ⭐ 37,175

Free universal database tool and SQL client

most recent commit a month ago

Prisma ⭐ 36,791

Next-generation ORM for Node.js & TypeScript | PostgreSQL, MySQL, MariaDB, SQL Server, SQLite, MongoDB and CockroachDB

dependent packages 442total releases 4,993most recent commit a month ago

npm @prisma/client} Downloads

Paddleocr ⭐ 36,076

Awesome multilingual OCR toolkits based on PaddlePaddle (practical ultra lightweight OCR system, support 80+ languages recognition, provide data annotation and synthesis tools, support training and deployment among server, mobile, embedded and IoT devices)

dependent packages 30total releases 40most recent commit 3 months ago

pypi paddleocr} Downloads

Awesome Cheatsheets ⭐ 36,029

👩‍💻👨‍💻 Awesome cheatsheets for popular programming languages, frameworks and development tools. They include everything you should know in one single file.

most recent commit 3 months ago

Tidb ⭐ 35,604

TiDB is an open-source, cloud-native, distributed, MySQL-Compatible database for elastic scale and real-time analytics. Try AI-powered Chat2Query free at : https://tidbcloud.com/free-trial

dependent packages 149total releases 1,289most recent commit 3 months ago

Suggest An Alternative To Metamath.jl

Popular Data Storage Categories

Get A Weekly Email With Trending Projects For These Categories

No Spam. Unsubscribe easily at any time.

Database

Julia

Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source. All rights reserved.