mwageringel

mwageringel's Stars

• sagemath/sage-archive-2023-02-01

  This repository used to be the user-facing mirror of the Sage source tree. As Sage development migrated on 2023-02-01 from https://trac.sagemath.org/ to our new repository on GitHub, https://github.com/sagemath/sage, we have renamed and archived this repository.

  Language:Python2k13036413

• agda/agda-stdlib

  The Agda standard library

  Language:Agda575291k237

• ligurio/practical-fm

  A gently curated list of companies using verification formal methods in industry

  49356936

• alhassy/gentle-intro-to-reflection

  A slow-paced introduction to reflection in Agda. ---Tactics!

  Language:Agda916010

• gallais/potpourri

  Where my everyday research happens

  Language:Agda531004

• jespercockx/ataca

  A TACtic library for Agda

  Language:Agda481014

• oisdk/agda-ring-solver

  A fast, easy-to-use ring solver for agda with step-by-step solutions

  Language:Agda38444