Mikolaj
Follow
-
horde-ad Public
Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation"
-
-
adopt Public
Forked from iShohei220/adoptOfficial Implementation of "ADOPT: Modified Adam Can Converge with Any β2 with the Optimal Rate"
Jupyter Notebook Apache License 2.0 UpdatedNov 26, 2024 -
fpcastle.github.io Public
Forked from fpcastle/fpcastle.github.ioA representative FP Castle
HTML Apache License 2.0 UpdatedOct 2, 2024 -
hackage-security Public
Forked from haskell/hackage-securityHackage security framework based on TUF (The Update Framework)
Haskell UpdatedSep 7, 2024 -
enummapset Public
IntMap and IntSet with Enum keys/elements.
-
cabal Public
Forked from haskell/cabalOfficial upstream development repository for Cabal and cabal-install
Haskell Other UpdatedMay 6, 2024 -
shine Public
Forked from rise-lang/shineThe Shine compiler for the RISE language
Scala MIT License UpdatedFeb 15, 2024 -
-
inspection-testing Public
Forked from nomeata/inspection-testingInspection Testing for Haskell
Haskell MIT License UpdatedSep 13, 2023 -
-
hmatrix Public
Forked from haskell-numerics/hmatrixLinear algebra and numerical computation
Haskell UpdatedAug 17, 2023 -
assert-failure Public
syntactic sugar that improves the usability of 'assert' and 'error' in Haskell
-
cabal-website Public
Forked from haskell/cabal-websiteThe http://www.haskell.org/cabal/ website
HTML UpdatedMar 13, 2023 -
ghcup-metadata Public
Forked from haskell/ghcup-metadataGHCup metadata repository
-
ghc-typelits-knownnat Public
Forked from clash-lang/ghc-typelits-knownnatDerive KnownNat constraints from other KnownNat constraints
Haskell Other UpdatedFeb 20, 2023 -
ghc-typelits-natnormalise Public
Forked from clash-lang/ghc-typelits-natnormaliseNormalise GHC.TypeLits.Nat equations
Haskell Other UpdatedFeb 20, 2023 -
ghc-tcplugins-extra Public
Forked from clash-lang/ghc-tcplugins-extraUtilities for writing GHC type-checker plugins
-
mnist-idx Public
Forked from schrammc/mnist-idxRead and write data in the IDX format used in e.g. the MNIST database
Haskell GNU Lesser General Public License v3.0 UpdatedFeb 16, 2023 -
-
-
act-2020-experiments Public
Forked from statusfailed/act-2020-experimentsHaskell MIT License UpdatedNov 15, 2022 -
UQM-MegaMod Public
Forked from JHGuitarFreak/UQM-MegaModA fork of The Ur-Quan Masters that remasters the HD mod with a veritable smorgasbord of extra features and options
C GNU General Public License v2.0 UpdatedAug 22, 2022 -
miniutter Public
simple English clause creation from arbitrary words in Haskell
-
minimorph Public
English spelling functions with an emphasis on simplicity. Originally by https://github.com/kowey.
-
ghc-proposals Public
Forked from ghc-proposals/ghc-proposalsProposed compiler and language changes for GHC and GHC/Haskell
Python UpdatedJun 13, 2022 -
haskell-mode Public
Forked from haskell/haskell-modeEmacs mode for Haskell
-
mostly-harmless Public
Seriously, no reason to worry.
-
-
overloaded Public
Forked from phadej/overloadedOverloaded plugin
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 21, 2021