A Lean 4 Ecosystem Framework!
A Signal Acquisition, Visualization & Analysis software
Renewable Energy Network tool
ASALI is an open-source code for chemical engineers
Agentic translation using reflection workflow
Refine the spectral library to enhance its completeness and coverage.
Lightweight app for visualization of Mandelbrot and Julia set
Solves symbolic electrical AC circuit equations
The C++11 library, msvc2015u3/gcc5.4 + cmake,python,bash,vbs modules
Open-source C/C++ math engine for advanced scientific computing
Free offline document translator for Windows - Word, PDF, subtitles
Smart Thermodynamic Modeling with Graph Neural Networks
Excel for scientists: high-quality plots, Python in cells, AI side bar
Uranie is CEA's uncertainty analysis platform, based on ROOT
A software package for processing and analyzing chemical trajectories
Data Science Guide With Videos And Materials
SPPAS - the automatic annotation and analyses of speech
Scalable, searchable and verifiable neuroimaging data exchange platfor
Python code able to convert / compress image to PI (3.14, π) Indexes
Test your healthy weight
Software to control and analyze Tausand Abacus coincidence devices
Matches OpenScience Observatories images with astronomical catalogs
Rodent Neurobehavioral Analysis Software