-
-
-
mkts Public
A miniKanren implementation of Transcendental Syntax, and related experiments.
1 UpdatedApr 14, 2025 -
transcendental-syntax Public
Forked from engboris/stellogenTechnical interpretation of Girard's transcendental syntax
OCaml GNU General Public License v3.0 UpdatedJan 18, 2025 -
-
-
-
-
-
-
-
-
lentic Public
Forked from phillord/lenticCreate views of the same content in two Emacs buffers
Emacs Lisp UpdatedMar 3, 2024 -
xenotation Public
xenotation<->arabic numerals transliteration
-
-
-
act Public
Forked from asyncvlsi/actACT hardware description language and core tools.
C++ GNU General Public License v2.0 UpdatedMay 17, 2023 -
-
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 UpdatedMar 10, 2021 -
-
-
-
-
-
tundra Public
Forked from olewhalehunter/tundradigital arts tooling
JavaScript GNU General Public License v3.0 UpdatedOct 16, 2019 -
-
-
-
-
{{ message }}