Starred repositories
283
results
for source starred repositories
Clear filter
A collection of awesome cooperative tech companies and projects
FOSSi Foundation Website
Functions for folding threads in mu4e headers view
maildir indexer/searcher + emacs mail client + guile bindings
An introduction to programming language theory in Agda
The user home repository for the Mathematics in Lean tutorial.
The "batteries included" extended library for the Lean programming language and theorem prover
A Lean Persistent Homology Library for Python
A Topology Layer for Machine Learning : Persistent Homology + Features for PyTorch
Repository for continued development of GENESIS 2.4 neural simulator
Formalisation of Church Rosser Theorem
Distributed High-Performance Symbolic Regression in Julia
Implementing techniques in persistent homology for complex spaces, including fractal sets, non-smooth spaces, and singular varieties.
Back up your device without vendor lock-ins, using insecure software or root. Supports encryption and compression out of the box. Works cross-platform.
The all-in-one Desktop & Docker AI application with built-in RAG, AI agents, and more.
This is the top-level project for the PULPissimo Platform. It instantiates a PULPissimo open-source system with a PULP SoC domain, but no cluster.