Awesome Open Source

Programming Languages

Nano Agda

Tiny type-checker with dependent types

Categories > Mathematics > Calculus

Suggest Alternative

Stars

64

License

other

Most Recent Commit

10 years ago

Programming Language

Haskell

Categories

Programming Languages > Types

Programming Languages > Haskell

Mathematics > Calculus

Programming Languages > Dependent Types

Alternatives To Nano Agda

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 nano-Agda

Popular Mathematics Categories

Get A Weekly Email With Trending Projects For These Categories

No Spam. Unsubscribe easily at any time.

Types

Haskell

Calculus

Dependent Types

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.