-
mini-systems Public
Experiments with formal and dynamical systems and automata
Agda GNU General Public License v3.0 UpdatedMay 21, 2025 -
-
1lab Public
Forked from the1lab/1labA formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Agda GNU Affero General Public License v3.0 UpdatedMar 7, 2023 -
agda-stdlib Public
Forked from agda/agda-stdlibThe Agda standard library
Agda Other UpdatedFeb 15, 2023 -
agda-categories Public
Forked from agda/agda-categoriesA new Categories library for Agda
Agda MIT License UpdatedFeb 1, 2023 -
Prelude Public
Custom Prelude with functionality I often use
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMar 11, 2022 -
dhall-haskell Public
Forked from dhall-lang/dhall-haskellMaintainable configuration files
Dhall BSD 3-Clause "New" or "Revised" License UpdatedNov 2, 2020 -
-
workflow Public
Forked from rskew/knowwhatTracking tasks without losing track of the big picture
PureScript Apache License 2.0 UpdatedNov 10, 2019 -
steno-dictionaries Public
Forked from didoesdigital/steno-dictionariesDi's Plover-theory stenography dictionaries used by Typey Type for Stenographers.
GNU General Public License v2.0 UpdatedOct 3, 2019 -
fairXiv Public
Forked from summerscope/fairXivA friendly UI for arXiv hosting papers on fairness and ethics in Machine Learning & Data Science
Python MIT License UpdatedJul 4, 2019 -
philosophy Public
Forked from visual-systems/philosophyOverall philosophical documentation of what this system will aim to achieve and how it will be constructed.
UpdatedMar 31, 2019 -
habitrpg Public
Forked from HabitRPG/habiticaA habit tracker app which treats your goals like a Role Playing Game.
JavaScript Other UpdatedSep 5, 2014
{{ message }}