Results for “IDA Pro”

Bluesky

Réseau social décentralisé — AT Protocol

Dexter Chua

Harvard. 2013 ~ 2018. Covers Analysis, Probability, Linear Algebra, Complex Analysis, Numerical Analysis, Statistics, Optimization, Algebraic Topology, Quantum Field Theory, and more.

Odds and Ends: Introducing Probability & Decision with a Visual Emphasis

Jonathan Weisberg

Elementary Calculus: An Approach Using Infinitesimals

Professor H. Jerome Keisler

The Stacks Project

Maintained by Aise Johan de Jong (Columbia)

Type Theory and Functional Programming

Simon Thompson

here

here

Open Logic Textbook

collaborative effort, main contributors listed [here](https://openlogicproject.org/people/)

Proofs and Concepts: the fundamentals of abstract mathematics

Joy Morris, Dave Morris

Book of Proof

Richard Hammak (Virginia Commonwealth University)

Crux Mathematicorum by Canadian Mathematical Society

source of unique and challenging mathematical problems designed for the secondary and undergraduate levels. It includes an Olympiad Corner which is helpful for math competitions.

The Princeton Companion to Mathematics

Timothy Gowers (Professor, Fields medallist), June Barrow-Green (Professor), and Imre Leader (Professor).

ProofWiki

ProofWiki

MathOverflow

for professional mathematicians

Professor Matthew Flatt

Professor Matthew Flatt

Galaxy

Open web-based platform for data intensive biomedical research.

OpenAPS

The Open Artificial Pancreas System project is an open and transparent effort to make safe and effective basic Artificial Pancreas System.

Murgen

Ultrasound imaging development kit.

LabKey Server

Platform for Translational Research.

Inferno

providing testing tools for the FHIR