Stars
An ML-like fun 8000 ctional programming language
Creation, simulation and real-life deployment of a Model Prective Control for a quadrotor to pass through moving gates
get things from one computer to another, safely
Hilbert Basis Theorem in Coq/Rocq
Persistence of concurrent activities for Gerbil Scheme
Fight fake news with cryptography & human nature
metamath proof enumerators and other things
Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
InstantClick makes following links in your website instant.
Solidarische Nachbarschaftshilfe in Zeiten von Corona
FLOSS kanban, built with Meteor. Official Public Support at GitHub issues only. Official Private Pre-Paid Support at https://wekan.fi/commercial-support/ only. Translation PRs to imports/i18n/data/…
CriticalBikes is a CriticalMaps inspired service to create pools of people who want to bike together
Creative cellular automata browser game
Imaging, analysis, and simulation software for radio interferometry
Development of the quantum lambda calculus as a higher inductive type
Agda is a dependently typed programming language / interactive theorem prover.