philderbeast
Follow
-
-
-
Paket Public
Forked from fsprojects/PaketA dependency manager for .NET with support for NuGet packages and GitHub repositories.
F# MIT License UpdatedMay 26, 2022 -
cedille Public
Forked from cedille/cedilleCedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Agda MIT License UpdatedFeb 20, 2022 -
-
tasty-laws Public
Forked from jdnavarro/tasty-lawsTasty test runners for checking common laws
Haskell BSD 3-Clause "New" or "Revised" License UpdatedFeb 5, 2022 -
tcplugins-zurihac2020 Public
Forked from nfrisby/tcplugins-zurihac2020ZuriHac 2020 GHC typechecker plugins project
HTML UpdatedAug 15, 2021 -
time-ghc-modules Public
Forked from codedownio/time-ghc-modulesAnalyze GHC .dump-timings files
TypeScript UpdatedAug 3, 2021 -
-
rules_haskell Public
Forked from tweag/rules_haskellHaskell rules for Bazel.
Starlark Apache License 2.0 UpdatedNov 13, 2020 -
validation-selective Public
Forked from kowainik/validation-selective💂♂️ Lightweight pure validation based on Applicative and Selective functors
Haskell Mozilla Public License 2.0 UpdatedSep 17, 2020 -
-
docs Public
Forked from scarf-sh/docsRepository for Scarf's documentation website
UpdatedAug 26, 2020 -
scarf-js Public
Forked from scarf-sh/scarf-jsInstallation analytics for your npm package
JavaScript Apache License 2.0 UpdatedAug 24, 2020 -
cabal-edit Public
Forked from sdiehl/cabal-editA utility for managing Hackage dependencies and manipulating Cabal files from the command line.
Haskell MIT License UpdatedJul 21, 2020 -
Haskell-Typed-Spreadsheet-Library Public
Forked from Gabriella439/Haskell-Typed-Spreadsheet-LibraryTyped and composable spreadsheets
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJun 25, 2020 -
-
ghc-proposals Public
Forked from ghc-proposals/ghc-proposalsProposed compiler and language changes for GHC and GHC/Haskell
Python UpdatedMay 4, 2020 -
awesome-cabal Public
Forked from kowainik/awesome-cabal💫 A curated list of awesome resources for the Haskell Cabal build tool.
Creative Commons Zero v1.0 Universal UpdatedJan 23, 2020 -
floskell Public
Forked from ennocramer/floskellFloskell is a flexible Haskell source code pretty printer.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedNov 11, 2019 -
-
porcupine Public
Forked from YPares/porcupineExpress parametrable, composable and portable data pipelines
Haskell UpdatedOct 31, 2019 -
-
hie-bios Public
Forked from haskell/hie-biosHaskell BSD 3-Clause "New" or "Revised" License UpdatedSep 7, 2019 -
git-octopus Public
Forked from lesfurets/git-octopusThe continuous merge workflow
Go GNU Lesser General Public License v3.0 UpdatedAug 9, 2019 -
sixty Public
Forked from ollef/sixtyDependent type checker using normalisation by evaluation
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJul 5, 2019 -
clay-dhall Public
Forked from as-capabl/clay-dhallC Layer for Dhall Language
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 19, 2019 -
-
zero-bullshit-haskell Public
Forked from alpacaaa/zero-bs-haskellLearn Haskell, without the bullshit.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedApr 23, 2019 -
SpanAlgebra Public
Forked from pchalamet/SpanAlgebraSimple library to compute intersections and unions on list of spans.
F# Apache License 2.0 UpdatedDec 2, 2018