Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Calculus Open Source Projects

Open source projects categorized as Calculus
Categories > Mathematics > Calculus
Awesome Geometric Algebra ⭐ 70
A curated list of geometric algebra resources
most recent commit 4 years ago
Classnotes ⭐ 69
ODE, Çok Değişkenli Calculus, Lineer Cebir, Hesapsal Bilim, İstatistik, Fonksiyonel Analiz, Yapay Zeka ders notlari. Lecture notes, tutorials on Linear Algebra, Computational Science, Computer Science, Statistics, Functional Analysis, ODE, Multivariate Calculus written in Latex, in Turkish
most recent commit 3 months ago
Malc ⭐ 69
Make a lambda calculus.
most recent commit 3 years ago
Minitt Rs ⭐ 68
Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
dependent packages 5total releases 7most recent commit 4 years agocargo minitt-util} Downloads
Sasylf ⭐ 67
Educational Proof Assistant for Type Theory
most recent commit 5 months ago
Sgcs ⭐ 65
Hitchhiker's Guide to SGCS
most recent commit a year ago
Lambda ⭐ 65
Fun with λ calculus!
most recent commit 3 years ago
Nano Agda ⭐ 64
Tiny type-checker with dependent types
most recent commit 10 years ago
Pydec ⭐ 64
PyDEC: A Python Library for Discretizations of Exterior Calculus for simplicial complexes of any dimension embedded or not and for cubical complexes of any dimension. Implements discrete exterior derivative as coboundary, a Delaunay Hodge star operator and lowest order Whitney forms.
most recent commit 6 months ago
Lambda Calculus Visualizations ⭐ 63
Catalog of visual lambda calculi
most recent commit a year ago
Minidot ⭐ 62
Dependent Object Types (DOT), bottom up
most recent commit 2 years ago
Racer ⭐ 62
Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).
most recent commit 5 years ago
Grift ⭐ 61
A compiler for the gradually typed lambda calculus
most recent commit 2 years ago
Study ⭐ 60
Study of language design and implementation.
dependent packages 2total releases 17most recent commit 4 years agonpm @xieyuheng/cicada} Downloads
Computer Science ⭐ 60
🎓 Path to a free self-taught education in Computer Science!
most recent commit 5 years ago
Dot Calculus ⭐ 59
Formalization of the Dependent Object Types (DOT) calculus
most recent commit 2 years ago
Galileo ⭐ 59
Scala Math - Numerical (Matlab-like) and Symbolic (Mathematica-like) tool
total releases 2most recent commit 4 years ago
Undergraduate In Statistics ⭐ 59
Using Computer with your Statistics Major Course
most recent commit 2 years ago
Unbound Generics ⭐ 55
Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
total releases 18most recent commit 7 months ago
Aith ⭐ 54
[Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions.
most recent commit 4 months ago
Shen C ⭐ 54
A C implementation of the Shen programming language
most recent commit 2 years ago
Reference ⭐ 53
Rchain reference material
most recent commit 2 years ago
Lambda Machine ⭐ 53
A simple UI for evaluating expressions in the untyped lambda calculus
most recent commit 2 years ago
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
Categories
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.