Lean 4 programming language and theorem prover

🐟 ituna – tune machine learning models for empirical identifiability and consistency

sphinx doctest plugin for pytest

Zero-shot forecasting of Dynamical Systems using DynaMix

The Lean Computer Science Library (CSLib)

FastSAE: Adopt seamlessly, train fast

Official implementation of paper: Characterizing Dataset Bias via Disentangled Visual Concepts

Social Media Machine

Cookiecutter template for MCP server development with FastMCP

A Rocq formalization of information theory and linear error-correcting codes

telli – Der KI-Chatbot für die Schule

Official implementation of CytoSAE: Interpretable Cell Embeddings for Hematology

Install and Run Python Applications in Isolated Environments

A curated list of awesome WYSIWYG Editors.

ADL's Open Source Learning Record Store (LRS) is used to store learning data collected with the Experience API.

Research. Shared.

Easily generate continual learning benchmarks.

Statistical package in Python based on Pandas

NeurIPS 2024 + NeuroAI and SSL Workshops (Oral)

CODAP (Common Online Data Analysis Platform)

A training framework for Stable Baselines3 reinforcement learning agents, with hyperparameter optimization and pre-trained agents included.

Analyze neuroscience data in the cloud

macFUSE umbrella repository

Build better UIs faster.

Scene and animal attribute retrieval from camera trap data with domain-adapted vision-language models

very good whiteboard infinite canvas SDK

🔥 LimeSurvey – A powerful, open-source survey platform. A free alternative to SurveyMonkey, Typeform, Qualtrics, and Google Forms, making it simple to create online surveys and forms with unmatched…

Deploy web apps anywhere.