Awesome Open Source

Programming Languages

Math Comp Corpus

Corpus of Coq code related to MathComp including several machine-readable representations

Categories > Mathematics > Coq

Suggest Alternative

Stars

8

License

other

Most Recent Commit

2 years ago

Programming Language

Common Lisp

Categories

Programming Languages > Common Lisp

Data Processing > Corpus

Mathematics > Coq

Suggest An Alternative To math-comp-corpus

Popular Coq Projects

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

dependent packages 1total releases 4latest release December 27, 2020most recent commit 5 months ago

Compcert ⭐ 1,696

The CompCert formally-verified C compiler

most recent commit 7 months ago

Stalin Sort ⭐ 1,381

Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️

most recent commit 6 months ago

Learn Tt ⭐ 1,307

A collection of resources for learning type theory and type theory adjacent fields.

most recent commit 4 years ago

Unimath ⭐ 888

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

most recent commit 5 months ago

Popular Corpus Projects

Nltk ⭐ 12,699

dependent packages 2,261total releases 59latest release July 20, 2023most recent commit 5 months ago

pypi nltk} Downloads

Nlp_chinese_corpus ⭐ 8,344

大规模中文自然语言处理语料 Large Scale Chinese Corpus for NLP

most recent commit a year ago

Asrt_speechrecognition ⭐ 7,253

A Deep-Learning-Based Chinese Speech Recognition System 基于深度学习的中文语音识别系统

total releases 1latest release October 23, 2020most recent commit 5 months ago

Glove ⭐ 6,480

Software in C and data files for the popular GloVe model for distributed word representations, a.k.a. word vectors or embeddings

most recent commit 9 months ago

Bert Pytorch ⭐ 5,605

Google AI 2018 BERT pytorch implementation

total releases 5latest release October 23, 2018most recent commit a year ago

Popular Mathematics Categories

Related Searches

Corpus Common Lisp

Corpus Machine Learning Dataset

Get A Weekly Email With Trending Projects For These Categories

No Spam. Unsubscribe easily at any time.

Common Lisp

Corpus

Coq

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.