Educational blog posts for Rust beginners

Official Implementation of "Reasoning Language Models: A Blueprint"

A Typst-friendly static site generator.

A collaborative environment for formal, interoperable, conceptual modeling

Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView

R formatter and language server

A data visualization library for Racket.

Write Forester posts with Pollen!

A Julia package for computational (bio)mechanics and computational design

A high performance, editable terrain system for Godot 4.

slippy map (openstreetmap) widget for egui

The "batteries included" extended library for the Lean programming language and theorem prover

Automatically create GUI applications from clap3 apps

The Lean reference manual

Model natural ecosystems 🌎🪸🐳

A system-level, binary package and environment manager running on all major operating systems and platforms.

The event stream processing platform for developers. Unified experience for real-time data ingestion, stream processing, and low-latency serving. Best-in-class performance and cost-efficiency. Supp…

A curated list of awesome Mojo 🔥 frameworks, libraries, software and resources

Package management made easy

Repository for the HARDENS project

This repositiry is deprecated, and will soon be taken offline. Please switch to the continuously updated, valid Open Data documentation via the link below.

Training material on 'What can abstract mathematics tell us about programming climate models?'

Shiny application to explore geospatial data

A global community dataset for large-sample hydrology

🚰 Interactive hydrodynamic solver for pipe and channel networks

🌎 Simple and fast watershed delineation in python.

A Python framework for high performance GPU simulation and graphics

HydroMT: Automated and reproducible model building and analysis

System for real time spatial and timeseries quality control of weather data