Awesome Open Source

Programming Languages

Lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting

Categories > Mathematics > Calculus

Suggest Alternative

Stars

241

License

other

Most Recent Commit

3 months ago

Programming Language

OCaml

Categories

Programming Languages > Ocaml

Mathematics > Calculus

Programming Languages > Dependent Types

Programming Languages > Proof Assistant

Alternatives To Lambdapi

Select To Compare

Open Source Cs ⭐ 17,397

Video discussing this curriculum:

most recent commit 6 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 10 months ago

Programming Language Theory λΠ

most recent commit 9 months ago

Open Source Cs Python ⭐ 3,579

Video discussing this curriculum:

most recent commit 8 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 10 months 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 6 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 4 months ago

Suggest An Alternative To lambdapi

Popular Mathematics Categories

Related Searches

Ocaml Dependent Types

Ocaml Proof Assistant

Dependent Types Proof Assistant

Calculus Dependent Types

Ocaml Rewriting

Calculus Proof Assistant

Get A Weekly Email With Trending Projects For These Categories

No Spam. Unsubscribe easily at any time.

Ocaml

Calculus

Dependent Types

Proof Assistant

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.