-
-
plutus-prototype Public
Forked from IntersectMBO/plutusHTML Apache License 2.0 UpdatedJun 10, 2024 -
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedJan 28, 2024 -
-
non-constant-memory Public
Forked from reactormonk/non-constant-memoryshowcase for conduit on non-constant memory usage
Haskell Other UpdatedOct 11, 2023 -
-
-
-
hasktags-emacs Public
Forked from ptek/hasktags-emacsAn automated TAGS generator for emacs for easier traversal of haskell code
Shell UpdatedJun 26, 2023 -
-
-
-
ops-lib Public
Forked from input-output-hk/ops-libNixOps deployment configuration library for IOHK devops
Nix Apache License 2.0 UpdatedFeb 12, 2022 -
-
haskell-challenges Public
Forked from effectfully-ou/haskell-challengesCode challenges to solve with Haskell
Haskell MIT License UpdatedMay 22, 2021 -
flat Public
Forked from Quid2/flatPrincipled and efficient binary serialization
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMar 30, 2021 -
-
Generic Public
A library for doing generic programming in Agda
-
-
agda-stdlib Public
Forked from agda/agda-stdlibThe Agda standard library
Agda Other UpdatedNov 2, 2020 -
agda-html-to-md Public
A tiny tool that takes output of `htmlize` and turns it into a markdown text consumable by `pandoc`
-
git-undo-el Public
Forked from jwiegley/git-undo-elA command for Emacs to regress or "undo" a region back through its Git history
Emacs Lisp UpdatedMay 18, 2020 -
-
-
-
plutus-core-semantics Public
Forked from runtimeverification/plutus-core-semanticsOCaml Other UpdatedDec 2, 2018 -
-
universum Public
Forked from serokell/universum🌌 Prelude used in @Serokell
Haskell MIT License UpdatedMay 20, 2018 -
-
prefolds Public
Composable monadic short-circuiting streaming folds