Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Twitchcoq

It's a poorly named metamath verifier
Stars
82
License
No license specified
Open Issues
0
Most Recent Commit
4 years ago
Programming Language
Prolog
Categories
Repo
Suggest An Alternative To twitchcoq
Popular Compression Projects
Deepspeed ⭐ 32,358
DeepSpeed is a deep learning optimization library that makes distributed training and inference easy, efficient, and effective.
dependent packages 87total releases 79latest release December 01, 2023most recent commit 3 months agopypi deepspeed} Downloads
Cyberchef ⭐ 25,521
The Cyber Swiss Army Knife - a web app for encryption, encoding, compression and data analysis
dependent packages 5total releases 396latest release July 14, 2023most recent commit 3 months agonpm cyberchef} Downloads
Zstd ⭐ 21,574
Zstandard - Fast real-time compression algorithm
dependent packages 62total releases 19latest release April 12, 2023most recent commit 5 months ago
Squoosh ⭐ 20,339
Make images smaller using best-in-class codecs, right in the browser.
dependent packages 52total releases 12latest release January 03, 2023most recent commit 5 months agonpm @squoosh/lib} Downloads
Popular Coq Projects
Popular Software Performance Categories
Benchmark
Performance
Optimization
Compression
Rstats
Benchmarking
Profiler
Gzip
Profiling
Mpi

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Compression
Prolog
Coq
Lossless
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.