-
Hyperspeedcube Public
Forked from HactarCE/HyperspeedcubeModern, beginner-friendly 3D and 4D Rubik's cube simulator
Rust Apache License 2.0 UpdatedSep 11, 2024 -
-
hypercubing.xyz Public
Forked from Hypercubers/hypercubing.xyzWebsite for the Hypercubing community
Python MIT License UpdatedAug 14, 2024 -
finite-typelits Public
A type inhabited by finitely many values, indexed by type-level naturals.
-
-
these Public
Forked from haskellari/theseAn either-or-both data type, with corresponding hybrid error/writer monad transformer.
Haskell UpdatedJun 25, 2024 -
singleton-typelits Public
Singletons and induction schemes for GHC TypeLits.
-
profunctors Public
Forked from ekmett/profunctorsHaskell 98 Profunctors
Haskell Other UpdatedJun 22, 2024 -
xml Public
Forked from snoyberg/xmlVarious XML utility packages for Haskell
Haskell UpdatedMar 15, 2024 -
-
discord-eval Public
A discord frontend for an interactive interpreter bot
-
-
ghc-proposals Public
Forked from ghc-proposals/ghc-proposalsProposed compiler and language changes for GHC and GHC/Haskell
1 UpdatedJun 12, 2023 -
-
-
pygments-css Public
Forked from richleland/pygments-csscss files created from pygment's built-in styles
CSS The Unlicense UpdatedAug 25, 2022 -
-
coq-classical-ensembles Public
Classical ensembles (subsets of a universe) in Coq.
Coq UpdatedNov 24, 2021 -
-
solanum Public
Forked from solanum-ircd/solanumAn IRCd for unified networks
C GNU General Public License v2.0 UpdatedJun 1, 2021 -
atheme-contrib-modules Public
Forked from atheme/atheme-contrib-modulesCommunity-supported modules for Atheme
C Other UpdatedMay 27, 2021 -
-
yoctoparsec Public
A truly tiny monadic parsing library
-
-
coercion-extras Public
Extra utilities for manipulating nominal and representational coercions
-
-
-
-
th-tc Public
Poor man's typechecker in Template Haskell
-
BOOTSTRA Public
This is an experiment in bootstrapping some sort of programming language/environment from a clean MS-DOS install.