Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Sequoia

Design, play with, and analyze sequent calculus proof systems.
Stars
13
License
gpl-3.0
Open Issues
5
Most Recent Commit
8 months ago
Programming Language
Standard ML
Categories
Site
Repo
Suggest An Alternative To sequoia
Popular Calculus Projects
Popular Mongodb Projects
Strapi ⭐ 58,534
🚀 Strapi is the leading open-source headless CMS. It’s 100% JavaScript/TypeScript, fully customizable and developer-first.
dependent packages 320total releases 678latest release December 08, 2023most recent commit 5 months agonpm @strapi/helper-plugin} Downloads
Meteor ⭐ 43,960
Meteor, the JavaScript App Platform
dependent packages 69total releases 33latest release November 29, 2023most recent commit 5 months agonpm meteor-node-stubs} Downloads
Prisma ⭐ 37,535
Next-generation ORM for Node.js & TypeScript | PostgreSQL, MySQL, MariaDB, SQL Server, SQLite, MongoDB and CockroachDB
dependent packages 442total releases 4,993latest release September 24, 2022most recent commit a month agonpm @prisma/client} Downloads
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
Related Searches
Mongodb Jersey
Calculus Standard Ml
Jersey Standard Ml

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Mongodb
Calculus
Jersey
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.