Awesome Open Source

Programming Languages

Sequents

Proof search for intuitionistic propositional logic using Dyckhoff's LJT.

Categories > Mathematics > Calculus

Suggest Alternative

Stars

11

License

bsd-3-clause

Most Recent Commit

4 years ago

Programming Language

Standard ML

Categories

Mathematics > Calculus

Alternatives To Sequents

Select To Compare

Open Source Cs ⭐ 17,397

Video discussing this curriculum:

most recent commit 8 months ago

From 0 To Research Scientist Resources Guide ⭐ 6,443

Detailed and tailored guide for undergraduate students or anybody want to dig deep into the field of AI with solid foundation.

most recent commit a year ago

Programming Language Theory λΠ

most recent commit a year ago

Open Source Cs Python ⭐ 3,579

Video discussing this curriculum:

most recent commit 10 months ago

Machine Learning ⭐ 2,683

most recent commit 4 years ago

Deep Learning Book ⭐ 2,650

Repository for "Introduction to Artificial Neural Networks and Deep Learning: A Practical Guide with Applications in Python"

total releases 1most recent commit 5 years ago

Ml Foundations ⭐ 2,224

Machine Learning Foundations: Linear Algebra, Calculus, Statistics & Computer Science

most recent commit a year ago

Functional Programming For The Rest Of Us Cn ⭐ 1,448

文章《Functional Programming For The Rest of Us》的中文翻译

most recent commit 3 years ago

Hackermath ⭐ 1,339

Introduction to Statistics and Basics of Mathematics for Data Science - The Hacker's Way

most recent commit 7 years ago

Mathparser.org Mxparser ⭐ 874

Math Parser Java Android C# .NET/MONO (.NET Framework, .NET Core, .NET Standard, .NET PCL, Xamarin.Android, Xamarin.iOS) CLS Library - a super easy, rich and flexible mathematical expression parser (expression evaluator, expression provided as plain text / strings) for JAVA and C#. Main features: rich built-in library of operators, constants, math functions, user defined: arguments, functions, recursive functions and general recursion (direct / indirect). Additionally parser provides grammar and

dependent packages 8total releases 22most recent commit 6 months ago

Suggest An Alternative To sequents

Popular Mathematics Categories

Related Searches

Calculus Standard Ml

Get A Weekly Email With Trending Projects For These Categories

No Spam. Unsubscribe easily at any time.

Calculus

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.