Explore projects

C

Robert Mourey Jr / cardano-ledger-specs
Apache License 2.0

A formal specification and executable model of the ledger rules introduced by the Shelley release

0

Updated Oct 10, 2021

0 0 3 0

Updated Oct 10, 2021
C

Emily Pillmore / Cabal Build Test
BSD 3-Clause "New" or "Revised" License

0

Updated Sep 09, 2021

0 0 0 0

Updated Sep 09, 2021
H

Sven Tennie / haddock
BSD 2-Clause "Simplified" License

GHC mirror of the haddock package

0

Updated Feb 05, 2022

0 0 0 0

Updated Feb 05, 2022
H

Apoorv Ingle / haddock
BSD 2-Clause "Simplified" License

GHC mirror of the haddock package

0

Updated Jan 23, 2024

0 0 0 0

Updated Jan 23, 2024
H

Artyom Kuznetsov / haddock
BSD 2-Clause "Simplified" License

GHC mirror of the haddock package

0

Updated Sep 29, 2021

0 0 0 0

Updated Sep 29, 2021
H

Marcin Szamotulski / haddock
BSD 2-Clause "Simplified" License

GHC mirror of the haddock package

0

Updated Dec 26, 2020

0 0 0 0

Updated Dec 26, 2020
H

obsidiansystems / haskell

Typing rules for Haskell

0

Updated Jun 21, 2021

0 0

Updated Jun 21, 2021
G

David Eichmann / ghc-debug

Remote debugging for GHC

0

Updated Nov 25, 2020

0 0 0 0

Updated Nov 25, 2020
H

Andrzej Rybczak / haddock
BSD 2-Clause "Simplified" License

GHC mirror of the haddock package

0

Updated Mar 04, 2021

0 0 0 0

Updated Mar 04, 2021
H

Francesco Gazzetta / haddock
BSD 2-Clause "Simplified" License

GHC mirror of the haddock package

0

Updated Jul 02, 2020

0 0 0 0

Updated Jul 02, 2020
H

Rinat Striungis / haddock
BSD 2-Clause "Simplified" License

GHC mirror of the haddock package

0

Updated Aug 03, 2020

0 0 0 0

Updated Aug 03, 2020
H

Daniel Rogozin / haddock
BSD 2-Clause "Simplified" License

GHC mirror of the haddock package

0

Updated Aug 12, 2020

0 0 0 0

Updated Aug 12, 2020
H

Facundo Domínguez / haddock
BSD 2-Clause "Simplified" License

GHC mirror of the haddock package

0

Updated May 22, 2020

0 0 0 0

Updated May 22, 2020
H

Artem Pelenitsyn / haddock
BSD 2-Clause "Simplified" License

GHC mirror of the haddock package

0

Updated Apr 27, 2020

0 0 0 0

Updated Apr 27, 2020
C

Ben Gamari / Cabal Build Test
BSD 3-Clause "New" or "Revised" License

0

Updated Sep 09, 2021

0 2 1 0

Updated Sep 09, 2021
H

Gert-Jan Bottu / haddock
BSD 2-Clause "Simplified" License

GHC mirror of the haddock package

0

Updated Jan 27, 2020

0 0 0 0

Updated Jan 27, 2020
H

Philipp Krüger / haddock
BSD 2-Clause "Simplified" License

GHC mirror of the haddock package

0

Updated Feb 11, 2020

0 0 0 0

Updated Feb 11, 2020
P

Haskell / prime

The Haskell Report and Haskell' standardization effort.

Haskell report

0

Updated Apr 26, 2021

0 0 0 128

Updated Apr 26, 2021
H

Josh Meredith / haddock
BSD 2-Clause "Simplified" License

GHC mirror of the haddock package

0

Updated Nov 14, 2019

0 0 0 0

Updated Nov 14, 2019
H

Sylvain Henry / haddock
BSD 2-Clause "Simplified" License

GHC mirror of the haddock package

0

Updated Apr 04, 2023

0 0 0 0

Updated Apr 04, 2023