Awesome Open Source

Programming Languages

Abduction_kbc

Abduction_kbc

Categories > Mathematics > Coq

Suggest Alternative

Stars

8

License

No license specified

Most Recent Commit

5 years ago

Programming Language

OCaml

Categories

Programming Languages > Ocaml

Mathematics > Coq

Machine Learning > Wordnet

Suggest An Alternative To abduction_kbc

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 4 months ago

Compcert ⭐ 1,696

The CompCert formally-verified C compiler

most recent commit 5 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 5 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 4 months ago

Popular Wordnet Projects

Natural ⭐ 10,414

general natural language facilities for node

dependent packages 518total releases 175latest release December 08, 2023most recent commit 4 months ago

npm natural} Downloads

Pattern ⭐ 8,519

Web mining module for Python, with tools for scraping, natural language processing, machine learning, network analysis and visualization.

total releases 1latest release October 03, 2019most recent commit 10 months ago

Ecdict ⭐ 4,955

Free English to Chinese Dictionary Database

most recent commit 5 months ago

Superscript ⭐ 1,650

A dialogue engine for creating chat bots

dependent packages 5total releases 128latest release October 06, 2017most recent commit 5 years ago

npm superscript} Downloads

Poincare Embeddings ⭐ 1,607

PyTorch implementation of the NIPS-17 paper "Poincaré Embeddings for Learning Hierarchical Representations"

most recent commit 9 months ago

Popular Mathematics Categories

Get A Weekly Email With Trending Projects For These Categories

No Spam. Unsubscribe easily at any time.

Ocaml

Coq

Wordnet

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.