Explore Projects
Discover 12 open source projects
Showing 1-12 of 12 projects
py-why/dowhy
DoWhy is a Python library for causal inference that supports explicit modeling and testing of causal assumptions.
ahmedbahaaeldin/From-0-to-Research-Scientist-resources-guide
A detailed guide for undergraduate students or anyone wanting to dive into the field of AI with a solid foundation.
arrow-kt/arrow
A comprehensive Kotlin library for functional programming, data-oriented and concurrent programming.
steshaw/plt
A library for exploring programming language theory, with a focus on lambda calculus and type theory.
HigherOrderCO/Kind
A modern proof language written in Haskell, focused on dependent types, formality, and functional programming.
pim-book/programmers-introduction-to-mathematics
A book that provides a programmer's introduction to mathematics, covering topics like probability, calculus, and linear algebra.
PaddiM8/kalker
A scientific calculator with math syntax, supporting user-defined variables and functions, complex numbers, and calculus.
amitkaps/hackermath
A comprehensive introduction to statistics and mathematics for data science, with a focus on the 'hacker' approach.
JasonShin/fp-core.rs
A Rust library providing functional programming utilities and abstractions like Applicative, Monad, Functor, etc.
objectionary/eo
EOLANG is an experimental pure object-oriented programming language based on the ฯ-calculus, targeting developers interested in novel language paradigms.
Didnelpsun/Math
A repository for studying math topics like calculus, linear algebra, and probability for the Chinese postgraduate entrance exam.
vekatze/neut
A programming language with static memory management based on ฮป-calculus for vibe coders.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.