Zekt
Follow
-
keelung-compiler Public
Forked from btq-ag/keelung-compilerCompiler of Keelung
Haskell Apache License 2.0 UpdatedSep 12, 2024 -
keelung Public
Forked from btq-ag/keelungThe Keelung Language
Haskell Apache License 2.0 UpdatedSep 9, 2024 -
galois-field Public
Forked from sdiehl/galois-fieldFinite field and algebraic extension field arithmetic
Haskell MIT License UpdatedAug 21, 2024 -
keelung-examples Public
Forked from btq-ag/keelung-examplesExamples & tutorial
Haskell Apache License 2.0 UpdatedAug 21, 2024 -
keelung-stdlib Public
Forked from btq-ag/keelung-stdlibStandard Library of Keelung
Haskell Apache License 2.0 UpdatedJun 28, 2024 -
homebrew-tap Public
Forked from Julian/homebrew-tapHomebrew Formulae I'm Tired of Maintainin'
Ruby MIT License UpdatedOct 20, 2023 -
hakyll Public
Forked from jaspervdj/hakyllA static website compiler library in Haskell
Haskell Other UpdatedSep 1, 2023 -
Type-Embellishment Public
Experimenting on ornamentation in Agda via reflection.
-
openzl Public
Forked from openzklib/openzlZero-Knowledge Cryptography Infrastructure Stack
Rust Other UpdatedApr 25, 2023 -
-
-
Generic-Scoped-Syntax Public
Re-formalisation, generalisation and translation of A Type- and Scope- Safe Universe of Syntaxes with Binding (https://arxiv.org/abs/2001.11001)
TeX UpdatedAug 29, 2022 -
Agda is a dependently typed programming language / interactive theorem prover.
-
-
-
-
-
-
Emacs-Agda-Dark-Theme Public
Dark Mode Agda Highlighting for Spacemacs and Emacs.
Emacs Lisp UpdatedJun 2, 2021 -
-
-
-
MOlang Public
Simple imperative language trying to simulate C++ concurrency with memory orders considered. Concurrency is handled as algebraic effect.
-
-
-
-
-
-
-