-
Well-Typed LLP @ GHC Team
- Portugal
- alt-romes.github.io
-
shuffdle Public
Shuffdle game and solver
Haskell BSD 3-Clause "New" or "Revised" License UpdatedSep 19, 2024 -
fast-tags Public
Forked from elaforge/fast-tagsIncremental vi and emacs tags for haskell.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedSep 12, 2024 -
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedSep 7, 2024 -
cabal Public
Forked from haskell/cabalOfficial upstream development repository for Cabal and cabal-install
Haskell Other UpdatedSep 6, 2024 -
jamdict Public
Forked from neocl/jamdictJamdict - A Python library Japanese dictionary empowered by JMDict & KanjiDic2 by Jim Breen
-
-
cabal-check-det Public
Developer script to compare objects produced by GHC for a Cabal package
-
-
onory Public
High-level language embedded in Haskell for specifying distributed algorithms/systems
-
ghengin Public
Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine
-
reference-counting Public
Reference counting with linear types
-
linear-base Public
Forked from tweag/linear-baseStandard library for linear types in Haskell.
Haskell MIT License UpdatedJul 6, 2024 -
A step-by-step Haskell x Swift project where the commits match the steps described in the accompanying blog post
-
tar Public
Forked from haskell/tarReading, writing and manipulating ".tar" archive files.
Haskell Other UpdatedJun 14, 2024 -
error-message-index Public
Forked from haskellfoundation/error-message-indexA community-driven collection of documentation for Haskell error messages and warnings
Haskell UpdatedJun 6, 2024 -
-
-
-
.vim Public
minimalist and modern vim configuration with sane settings, handwritten statusline and tabline, small custom plugins, and few external plugins
-
haskell-gi Public
Forked from haskell-gi/haskell-giGenerate Haskell bindings for GObject-Introspection capable libraries
Haskell Other UpdatedMay 16, 2024 -
hegg Public
Fast equality saturation in Haskell
-
vulkan Public
Forked from expipiplus1/vulkanHaskell bindings for Vulkan
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 1, 2024 -
programmer-calculator Public
Terminal calculator made for programmers working with multiple number representations, sizes, and overall close to the bits
-
-
minecraft-dhall Public
Draft: Minecraft mod development with Dhall
-
Library to access the GPIO pins on a Raspberry Pi from Haskell.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedApr 2, 2024 -
interpolate Public
Forked from sol/interpolateString interpolation for Haskell done right!
Haskell MIT License UpdatedMar 20, 2024 -
haskell-src-meta Public
Forked from haskell-party/haskell-src-metaMaintenance of Matt Morrow's package for parsing haskell source to a TH AST.
Haskell UpdatedMar 20, 2024 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection & NixOS
Nix MIT License UpdatedMar 20, 2024 -
simple-robots Public
Math and physical computing utilities for hobby robots
Haskell Other UpdatedMar 16, 2024