-
hasql-migration Public
Forked from tvh/hasql-migrationA port of postgresql-simple-migration for use with hasql
Haskell Other UpdatedFeb 13, 2025 -
postgresql-binary Public
Forked from nikita-volkov/postgresql-binaryEncoders and decoders for the PostgreSQL's binary format
H 10000 askell MIT License UpdatedFeb 13, 2025 -
haskell-css-syntax Public
Forked from wereHamster/haskell-css-syntaxTokenizer and parser for the CSS syntax
Haskell MIT License UpdatedFeb 4, 2025 -
hyperbole Public
Forked from seanhess/hyperboleHaskell interactive serverside web framework inspired by HTMX
Haskell Other UpdatedJan 31, 2025 -
web-view Public
Forked from seanhess/atomic-cssTyped HTML with simplified layout, and easy composable styles. Inspired by Tailwindcss and Elm UI
Haskell Other UpdatedJan 31, 2025 -
clay Public
Forked from sebastiaanvisser/clayA CSS preprocessor as embedded Haskell.
Haskell Other UpdatedOct 24, 2024 -
squeal Public
Forked from morphismtech/squealSqueal, a deep embedding of SQL in Haskell
Haskell UpdatedNov 5, 2023 -
Idris2 Public
Forked from idris-lang/Idris2A purely functional programming language with first class types
Idris Other UpdatedJun 5, 2023 -
first-class-families Public
Forked from Lysxia/first-class-familiesFirst-class type families
Haskell MIT License UpdatedMay 18, 2023 -
fcf-containers Public
Forked from gspia/fcf-containersfcf-containers add tools that can be used with first-class-families
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 10, 2023 -
haskell-xss-sanitize Public
Forked from yesodweb/haskell-xss-sanitizeprevent XSS attacks by sanitizing html (this is different then escaping!)
Haskell Other UpdatedApr 1, 2023 -
idris2-pkgs Public
Forked from claymager/idris2-pkgsAn unofficial Idris2 package repository for Nix
Nix MIT License UpdatedOct 30, 2022 -
type-of-html Public
Forked from knupfer/type-of-htmlHigh performance type safe html generation
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJul 25, 2022 -
swarm Public
Forked from swarm-game/swarmResource gathering + programming game
Haskell Other UpdatedOct 4, 2021 -
persistent Public
Forked from yesodweb/persistentPersistence interface for Haskell allowing multiple storage methods.
Haskell MIT License UpdatedApr 2, 2021 -
hs-nix-template Public
Forked from utdemir/hs-nix-templateA Haskell project template that can be built with nix and developed by ghcid and cabal-install.
Nix MIT License UpdatedNov 13, 2020 -
gi-gtk-declarative Public
Forked from owickstrom/gi-gtk-declarativeDeclarative GTK+ programming in Haskell
Haskell UpdatedSep 23, 2020 -
sops-nix Public
Forked from Mic92/sops-nixAtomic secret provisioning for NixOS based on sops
Go MIT License UpdatedAug 23, 2020 -
-
lorri Public
Forked from target/lorriYour project's nix-env
Rust Apache License 2.0 UpdatedApr 8, 2020 -
sudoku.hs Public
Forked from fireflowerr/sudoku.hssudoku solver in haskell
Haskell MIT License UpdatedFeb 16, 2020 -
haskell-hedgehog Public
Forked from hedgehogqa/haskell-hedgehogRelease with confidence, state-of-the-art property testing for Haskell.
Haskell UpdatedFeb 3, 2020 -
http-client Public
Forked from snoyberg/http-clientAn HTTP client engine, intended as a base layer for more user-friendly packages.
Haskell UpdatedNov 7, 2019 -
themelios Public
Forked from a-schaefers/themeliosBootstrap a zfs-on-root NixOS configuration in one command. Themelios automates the entire installation process using any NixOS livedisk with an internet connection and your git repo. Themelios is …
Shell MIT License UpdatedOct 24, 2019 -
snack Public
Forked from nmattia/snackNix-based incremental build tool for Haskell projects
Nix UpdatedJul 16, 2019 -
niv Public
Forked from nmattia/nivEasy dependency management for Nix projects
Haskell MIT License UpdatedJul 2, 2019 -
codeAnalyzer Public
Automated proof assistant for pseudocode
Haskell MIT License UpdatedMar 4, 2019 -
-
dash-haskell Public
Forked from jfeltz/dash-haskelldash docset builder for Haskell packages and cabal project dependencies
Haskell GNU Lesser General Public License v3.0 UpdatedFeb 20, 2019 -
gotham Public
Forked from gotham-rs/gothamA flexible web framework that promotes stability, safety, security and speed.
Rust Other UpdatedJan 1, 2019
{{ message }}