-
-
optics Public
Forked from well-typed/opticsOptics as an abstract interface
Haskell UpdatedDec 12, 2025 -
thesis-template-typst Public template
Forked from ls1intum/thesis-template-typstTUM AET thesis typst template
Typst MIT License UpdatedNov 16, 2025 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedNov 3, 2025 -
ms-thesis Public
Source for my Master's thesis: "Towards binding-aware corecursion for Isabelle/HOL"
Typst UpdatedOct 18, 2025 -
migaman Public
migaman is a CLI email alias manager for Migadu users
-
cassava-conduit Public
Forked from domdere/cassava-conduitConduit interface for cassava [Haskell]
Haskell UpdatedSep 1, 2025 -
gevrek Public
A purely functional, statically typed programming language that compiles to Lua
-
haskell-language-server Public
Forked from haskell/haskell-language-serverOfficial haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Haskell Apache License 2.0 UpdatedMay 23, 2025 -
migrant Public
Forked from tdammers/migrantOpinionated SQL migrations
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 15, 2025 -
argon Public
Forked from rubik/argonMonitor cyclomatic complexity in Haskell programs
-
haskell-jsonnet Public
Forked from moleike/haskell-jsonnet👾 Haskell implementation of Jsonnet
Jsonnet Other UpdatedApr 13, 2025 -
jsonresume-nix Public
Forked from TaserudConsulting/jsonresume-nixReproducible résumé using Nix ❄️ and jsonresume
Nix ISC License UpdatedFeb 12, 2025 -
hl2_lambda Public
Forked from NorthernChicken/hl2_lambdaFind what lambda cache locations you missed in Half-Life 2
Python UpdatedFeb 3, 2025 -
dhall-resume Public
Forked from gaelreyrol/dhall-resumeJSON Resume with Dhall
Dhall GNU General Public License v3.0 UpdatedJan 28, 2025 -
home-manager Public
Forked from nix-community/home-managerManage a user environment using Nix [maintainer=@rycee]
Nix MIT License UpdatedJan 25, 2025 -
dhall-haskell Public
Forked from dhall-lang/dhall-haskellMaintainable configuration files
Dhall BSD 3-Clause "New" or "Revised" License UpdatedJan 20, 2025 -
cabal Public
Forked from haskell/cabalOfficial upstream development repository for Cabal and cabal-install
Haskell Other UpdatedDec 15, 2024 -
-
-
reuse-tool Public
Forked from fsfe/reuse-toolreuse is a tool for compliance with the REUSE recommendations.
Python UpdatedOct 16, 2024 -
nix.dev Public
Forked from NixOS/nix.devOfficial documentation for getting things done with Nix.
Python Creative Commons Attribution Share Alike 4.0 International UpdatedJan 15, 2024 -
tree-sitter-todotxt Public
Forked from arnarg/tree-sitter-todotxtA tree-sitter grammar for todo.txt
C MIT License UpdatedJan 7, 2024 -
wlhs Public
Forked from bradrn/wlhsHaskell bindings to wlroots (and libwayland)
Haskell Other UpdatedJan 2, 2024 -
fourmolu Public
Forked from fourmolu/fourmoluA fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
Haskell Other UpdatedDec 4, 2023 -
diagrams-pandoc Public
Forked from diagrams/diagrams-pandocA pandoc filter to express diagrams inline using the haskell EDSL diagrams.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedAug 9, 2023 -
hakyll Public
Forked from jaspervdj/hakyllA static website compiler library in Haskell
Haskell Other UpdatedAug 6, 2023 -
pandoc-emphasize-code Public
Forked from owickstrom/pandoc-emphasize-codeA Pandoc filter for emphasizing code in fenced blocks
Haskell Mozilla Public License 2.0 UpdatedJul 8, 2023 -
diagrams-builder Public
Forked from diagrams/diagrams-builderUtilities for creating diagram-building tools
Haskell Other UpdatedJul 8, 2023 -
diagrams-cairo Public
Forked from diagrams/diagrams-cairoCairo backend for diagrams
Haskell Other UpdatedJul 8, 2023
{{ message }}