-
guix-installer Public
Forked from SystemCrafters/guix-installerA GNU Guix installer image with the full Linux kernel!
Scheme GNU General Public License v3.0 UpdatedMar 12, 2025 -
-
-
-
-
-
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedDec 12, 2024 -
SVGFonts Public
Forked from diagrams/SVGFontsFonts from the SVG-Font format
Haskell Other UpdatedDec 11, 2024 -
-
miryoku_zmk Public
Forked from manna-harbour/miryoku_zmkMiryoku is an ergonomic, minimal, orthogonal, and universal keyboard layout. Miryoku ZMK is the Miryoku implementation for ZMK.
C UpdatedNov 4, 2024 -
-
afwall Public
Forked from ukanth/afwallAFWall+ (Android Firewall +) - iptables based firewall for Android
Java GNU General Public License v3.0 UpdatedOct 3, 2024 -
iCalendar Public
Forked from schoettl/iCalendariCalendar data types, parser, and printer.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedSep 1, 2024 -
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 UpdatedJun 25, 2024 -
-
org-mode-hs Public
Forked from soficshift/org-mode-hsLibraries and tool for parsing Org Mode documents with customizable exporters. 🦄
Haskell GNU General Public License v3.0 UpdatedMay 15, 2024 -
-
combinators Public
Inference Combinators for Probabilistic Torch
Jupyter Notebook Apache License 2.0 UpdatedApr 25, 2024 -
orgzly-android Public
Forked from orgzly/orgzly-androidOutliner for taking notes and managing to-do lists
-
constan Public
Forked from z-murray/honours-project-constructive-analysis-in-agdaZach Murray's honours project (with thesis)
Agda UpdatedJan 15, 2024 -
-
plover-flake Public
Forked from dnaq/plover-flake-oldA flake for plover with plugin manager support
Nix UpdatedDec 1, 2023 -
-
SlicStan Public
Forked from mgorinova/SlicStanA Stan-like probabilistic programming language.
F# MIT License UpdatedOct 14, 2023 -
agda-unimath Public
Forked from UniMath/agda-unimathThe agda-unimath library
Agda MIT License UpdatedSep 27, 2023 -
-
redirect-to-abstract Public
firefox extension to redirect various pdf links to their abstracts
-
tracing-test Public
Forked from dbrgn/tracing-testAccess and evaluate tracing logs in async and sync tests.
Rust Apache License 2.0 UpdatedJun 25, 2023 -
-
zotero-memento Public
Forked from leonkt/zotero-mementoZotero extension that combats link rot by archiving webpages and journal articles.
JavaScript MIT License UpdatedMay 22, 2023
{{ message }}