-
-
agda2hs Public
Forked from agda/agda2hsCompiling Agda code to readable Haskell
Agda MIT License UpdatedAug 15, 2024 -
-
Agda is a dependently typed programming language / interactive theorem prover.
-
scope Public
Forked from jespercockx/scopeAn agda2hs-compatible library for well-scoped syntax
Agda The Unlicense UpdatedJan 24, 2024 -
-
achille Public
A Haskell library for building incremental static site generators
-
-
qmk_firmware Public
Forked from qmk/qmk_firmwareOpen-source keyboard firmware for Atmel AVR and Arm USB families
C GNU General Public License v2.0 UpdatedFeb 1, 2023 -
-
-
Modern XMPP ("Jabber") Chat Client using GTK+/Vala
Vala GNU General Public License v3.0 UpdatedMar 18, 2022 -
void-packages Public
Forked from void-linux/void-packagesThe Void source packages collection
Shell Other UpdatedJan 11, 2022 -
-
tree-sitter-agda Public
Forked from tree-sitter/tree-sitter-agdaAgda grammar for tree-sitter
Yacc MIT License UpdatedNov 29, 2021 -
mmark Public
Forked from mmark-md/mmarkStrict markdown processor for writers
Haskell Other UpdatedNov 10, 2021 -
agda-stdlib Public
Forked from agda/agda-stdlibThe Agda standard library
Agda Other UpdatedNov 1, 2021 -
Waybar Public
Forked from Alexays/WaybarHighly customizable Wayland bar for Sway and Wlroots based compositors. ✌️ 🎉
C++ MIT License UpdatedOct 7, 2021 -
hash-modulo-alpha Public
Forked from microsoft/hash-modulo-alphaQuickly hashing all subexpressions of a program modulo alpha-renaming
Haskell MIT License UpdatedSep 7, 2021 -
-
jibniz Public
A custom javascript implementation of the IBNIZ VM
-
-
-
-
microui Public
Forked from rxi/microuiTiny immediate-mode UI library
C MIT License UpdatedFeb 21, 2020 -
ornaments-thesis Public
Forked from yoricksijsling/ornaments-thesisMy master thesis about generic programming and ornaments
-
ohrid19-agda Public
Forked from jespercockx/ohrid19-agdaMaterial for the Agda course at the EUTYPES Summer School '19 in Ohrid
HTML UpdatedFeb 3, 2020 -
-
metacoq Public
Forked from MetaCoq/metacoqMetaprogramming in Coq
Coq MIT License UpdatedDec 19, 2019 -
parametricity-a-la-carte Public
Forked from CoqHott/parametricity-a-la-cartemixing CoqEAL and univalent parametricity
Coq UpdatedDec 12, 2019