MathWorks Open Source and Community Projects
mathworks
A diverse selection of MathWorks Open Source projects and resources.
sesh nalla
nerdsane
observability-data@datadoghhq | minimalist { leader | engineer | athlete | artist }
NYC
Pixeltable
pixeltable
Data, models, and orchestration in a unified declarative interface.
United States of America
Sushant Dinesh
sushant94
Postdoctoral Researcher @ UC Berkeley.
University of California, Berkeley Berkeley, CA
Steven
StevenBtw
Digital architect, strategist, problem-solver, data nerd and recreational programmer.
Utrecht, The Netherlands
Vladimir Gladshtein
volodeyka
I do formal verification with interactive theorem provers
National University of Singapore Singapore
Tanner Duve
tannerduve
Member of Technical Staff @logiq-ai. Interested in types, categories, and functional programming. Rust, Lean, OCaml, and Haskell fan.
Logical Intelligence San Francisco
John Stachurski
jstac
Researcher in stochastic dynamics and optimization, comp econ OG, part time code monkey, cofounder of @QuantEcon
Australian National University Canberra Australia
Math, Inc.
math-inc
A new company dedicated to autoformalization and the creation of verified superintelligence.
United States of America
Robert Zhang
robertzhidealx
Research Fellow @theorem-labs | CS PhD @ UT Austin | Formerly BS/MS @ Johns Hopkins, Intern @facebook
San Francisco
Mark Chmarny
mchmarny
Working on DGX Cloud at NVIDIA. Ex Google Cloud, Apple ACS, Azure OCTO. Cascadian. Rabid Arsenal fan
NVIDIA Portland, OR
Lalit Adithya
lalitadithya
I have been coding since 2010 and I have taken business critical apps from inception to production by working in/leading cross functional teams.
@NVIDIA India
PreviousNext