Starred repositories
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
An open-source Mathematica Kernel. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g. Symbol, a parser to create Expressions, and an evaluator t…
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.