-
-
sensei Public
Forked from aleryo/senseiA sensei for improving one's development process
-
-
-
hsgames Public
A client-server Haskell implementation of an old boardgame
-
hslogic Public
A logic programming based framework to allocate resources
-
-
servant Public
Forked from haskell-servant/servantMain repository for the servant libraries. Web API combinators, with servers, clients and documentation
Haskell UpdatedNov 17, 2025 -
cardano-base Public
Forked from IntersectMBO/cardano-baseCode used throughout the Cardano eco-system
Haskell Apache License 2.0 UpdatedOct 1, 2025 -
ouroboros-consensus Public
Forked from IntersectMBO/ouroboros-consensusImplementation of a Consensus Layer for the Ouroboros family of protocols
Haskell Apache License 2.0 UpdatedSep 16, 2025 -
amaru-treasury Public
Forked from pragma-org/amaru-treasuryA smart contract for managing Amaru's treasury
Aiken Apache License 2.0 UpdatedAug 7, 2025 -
site Public
Forked from aiken-lang/siteWebsite and Docs for Aiken
MDX Apache License 2.0 UpdatedJun 1, 2025 -
-
-
cf-gsoc-ideas-page-2025 Public
Forked from cardano-foundation/cf-gsoc-ideas-page-2025Our project ideas page for the GSoC'25
Apache License 2.0 UpdatedFeb 5, 2025 -
yaci-devkit Public
Forked from bloxbean/yaci-devkitA set of development tools for building on Cardano by creating a local devnet.
Java MIT License UpdatedJan 14, 2025 -
ouroboros Public
Forked from pragma-org/ouroborosBlockchain-agnostic implementations of the Ouroboros consensus families.
Rust UpdatedNov 25, 2024 -
hydra-sim Public
Forked from hydra-supplementary-material/hydra-sim -
-
-
hoogle Public
Forked from ndmitchell/hoogleHaskell API search engine
Haskell Other UpdatedOct 8, 2023 -
-
-
xxi-century-typed Public
Support code for talk 'XXIst century shall be typed or not be'
-
-
grace Public
Forked from Gabriella439/graceA ready-to-fork interpreted functional language with type inference
JavaScript BSD 3-Clause "New" or "Revised" License UpdatedJun 3, 2022 -
-
melpa Public
Forked from melpa/melpaRecipes and build machinery for the biggest Emacs package repo
Emacs Lisp Other UpdatedApr 24, 2022 -
nix-haskell-dev-vm Public
Terraform-based VM configuration to hack haskell with nix
-
{{ message }}