Pinned Repositories
cabal
Official upstream development repository for Cabal and cabal-install
dotty
Research compiler that will become Scala 3
finite-typelits
A type inhabited by finitely many values, indexed by type-level naturals.
Idris-dev
A Dependently Typed Functional Programming Language
vector-sized
howtonotwin's Repositories
howtonotwin/cabal
Official upstream development repository for Cabal and cabal-install
howtonotwin/dotty
Research compiler that will become Scala 3
howtonotwin/finite-typelits
A type inhabited by finitely many values, indexed by type-level naturals.
howtonotwin/ghc
Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.
howtonotwin/Idris-dev
A Dependently Typed Functional Programming Language
howtonotwin/vector-sized
howtonotwin/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
howtonotwin/pureimage
puts the "fun" in "functional raster image processing"
howtonotwin/scala
The Scala programming language
howtonotwin/scala-continuations
the Scala delimited continuations plugin and library
howtonotwin/scala-native
Your favourite language gets closer to bare metal.
howtonotwin/singletons
Fake dependent types in Haskell using singletons
howtonotwin/toolchain-wrapper
Scripts for building GHC and Haskell programs for Android and iOS