The Agda standard library
Symbolic expressions, rewriting and simplification
The statistical language R compiled to WebAssembly via Emscripten
RAGLite is a Python toolkit for Retrieval-Augmented Generation
A JAX-native LLM Post-Training Library
wxPython's Project Phoenix. A new implementation of wxPython
Clean Architecture Modular Project: MVVM + Jetpack Compose
List of programming books in Spanish for free
Powerful SQL string builder library plus a zero-config ORM
Complete Kotlin-stack (Backend + Android) application
A curated list of awesome network analysis resources
A framework for building compiled Node.js add-ons in Rust via Node-API
A framework for secure and scalable network traffic analysis
Distributed tracing without code changes
MirageOS is a library operating system that constructs unikernels
A code generator for connecting C/C++ with other programming languages
Framework for quickly creating connected applications in Kotlin
No-code in the front, Python in the back. An open-source framework
A Python library for extracting structured information
Deequ is a library built on top of Apache Spark
A cross-platform, portable, linkable Git implementation library
A lightweight, powerful framework for multi-agent workflows
A data interchange format
A collection of notebooks/recipes showcasing ways of using Claude
Cross-Platform C++ GUI Library