Building scientific systems with communities

We build scientific infrastructure that communities can use, understand, and sustain.

19.38885° N, 73.89910° E | PALSUNDE

Our Work

Science has transformed how societies understand the world, yet access to scientific infrastructure remains deeply uneven. The challenge is not a lack of data, technology, or expertise. It is that the systems that generate and apply knowledge are often disconnected from the communities that need them most. Scigram builds scientific systems that bring observation, experimentation, and evidence closer to where decisions are made and lived. Our work spans environment, education, and health, united by a single goal: rebuilding the relationship between science and society through scientific infrastructure.

01. Environment

02. Education

03. Health

Our Core Foundation

Verified Intelligence

Science you can trust. Systems that last.

Scigram builds on a modern functional stack and formal methods to create systems that are correct, reproducible, and maintainable. We combine the power of functional programming, formal verification, and high-performance computation.

OUR FUNCTIONAL STACK

Haskell

Pure functional programming for reliable, concurrent, and modular systems.

Systems
& Services

Lean

Theorem prover for formal verification of critical algorithms and system properties.

Verification
& Proofs

PureScript

Type-safe frontend development that compiles to efficient JavaScript.

Web
Interface

Nix

Declarative builds and reproducible environments for dependable infrastructure.

DevOps
& Infra
JAX Light Stroke

JAX

High-performance numerical computing and machine learning with composable transformations.

Computation
& ML
fire_spread.lean ×
1import Mathlib.Data.Real.Basic
2import Mathlib.Analysis.Calculus.Deriv
3
4/-- A simple fire spread model: rate of spread as a function
5 of wind speed (w) and slope (s). -/
6def ros (w s : ) : := 0.0397 * w^0.9 * (1 + 0.069 * s)^1.5
7
8/-- The rate of spread is always non-negative. -/
9theorem ros_nonneg (w s : ) (hw : 0 w) (hs : -1 s) : 0 ros w s := by
10 have h1 : 0 w^0.9 := Real.rpow_nonneg hw (by decide : 0 < (0.9 : ))
11 have h2 : 0 1 + 0.069 * s := by
12 have : -0.069 0.069 * s := by
13 exact mul_le_mul_of_nonneg_left hs (by decide : 0 0.069)
14 linarith [this]
15 have h3 : 0 (1 + 0.069 * s)^1.5 := Real.rpow_nonneg h2 (by decide : 0 < (1.5 : ))
16 exact mul_nonneg (mul_nonneg (by decide) h1) h3
17
18-- Verified model. Proven properties. Trusted results.

Correct by Design

Formal methods help us prove properties that matter.

Reproducible

Nix ensures the same environment builds everywhere.

High Performance

JAX accelerates research and real-world computation.

Built to Last

Functional codebases are modular, testable, and resilient.

Scientific Infrastructure in Practice
IN THE FIELD

A year of building scientific systems with communities.

In 2025, we continued building scientific infrastructure across the Western Ghats — through field observations, rigorous research, and community partnership.

2025 AT A GLANCE
5
Research Sites
Across Western Ghats, Maharashtra
12
Villages
Working with communities
1000+
Longitudinal Health Measurements
Tribal students in Ashram schools
1
Wildfire Intelligence System
SciFire operational across the region
1
Biodiversity Observation Network
Citizen scientists collecting data
1
Soil Foundation Model
AlphaSoil for the Western Ghats
Field Notes
BUILD WITH US

Build Scientific Infrastructure that Lasts

Scientific infrastructure is one of society's longest-term investments. It enables observation, experimentation, and discovery that continue to benefit communities for generations. Scigram is building open systems for environmental monitoring, scientific learning, and community health. If you believe this work should exist, we invite you to help build it with us..

OUR CULTURE

Open by design

All our data, tools, and knowledge are open whenever possible.

Community owned

Systems are built with communities, ensuring they own, use, and shape them.

Rigorous and trustworthy

We use formal methods and reproducible systems so communities can rely on them.

Built to last

We invest in long-term infrastructure that remains useful long after projects end.

The Infrastructure We Are Building

Environment

Monitoring ecosystems, predicting risks, and building climate resilient landscapes.

Education

Scientific learning infrastructure for schools and lifelong learners.

Health

Community health intelligence for early insights and better outcomes.

Open Tools

Open source tools that communities can use, adapt, and build upon.

Data Commons

High quality, open datasets for research, policy, and local decision making.

Support Long-term Science

Your support helps build scientific infrastructure that communities can own, use, and build upon. Together, we can create systems that strengthen local knowledge and enable better futures.

Support Scigram

All contributions are transparently used to build open, community-owned systems.