py-why / dowhy

DoWhy is a Python library for causal inference that supports explicit modeling and testing of causal assumptions. DoWhy is based on a unified language for causal inference, combining causal graphical models and potential outcomes frameworks.

arrow-kt / arrow

The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming

sdiehl / write-you-a-haskell

Building a modern functional compiler from first principles.

objectionary / eo

EOLANG, an Experimental Pure Object-Oriented Programming Language Based on 𝜑-Calculus

JuliaDiff / ForwardDiff.jl

Forward Mode Automatic Differentiation for Julia

mariuszgromada / MathParser.org-mXparser

Math Parser: Java, C#, C++, Kotlin, Android, and all .NET platforms (Nuget, Maven, CMake). Supports .NET Framework, .NET Core, .NET Standard, Xamarin, and more. Features: rich built-in library of math functions, operators, constants. Flexible in user-defined arguments, functions. Expressions provided as plain text. Easy to use. Well documented.

ad-si / Woxi

Wolfram Language / Mathematica reimplementation in Rust (Wolfram oxidized)

ASC-Community / AngouriMath

Open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.

HOL-Theorem-Prover / HOL

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

jiggzson / nerdamer

a symbolic math expression evaluator for javascript

zxcalc / pyzx

Python library for quantum circuit rewriting and optimisation using the ZX-calculus

chakravala / Grassmann.jl

⟨Grassmann-Clifford-Hodge⟩ differential geometric algebra

stormj-UH / spivak-lean

Michael Spivak's Calculus formalized in Lean 4: every theorem and every problem of all 30 chapters and 9 appendices, in both the 3rd and 4th editions