-
holonix Public
Forked from holochain/holonixHolochain app development environment based on Nix.
Nix UpdatedJan 27, 2025 -
aeson-pretty Public
Forked from informatikr/aeson-prettyJSON pretty-printing library and command-line tool.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJan 13, 2025 -
dream2nix Public
Forked from nix-community/dream2nixSimplified nix packaging for various programming language ecosystems [maintainer=@DavHau]
Nix MIT License UpdatedDec 13, 2024 -
cardano-node Public
Forked from IntersectMBO/cardano-nodeThe core component that is used to participate in a Cardano decentralised blockchain.
Haskell Apache License 2.0 UpdatedDec 8, 2024 -
plutus Public
Forked from IntersectMBO/plutusThe Plutus language implementation and tools
Haskell Apache License 2.0 UpdatedDec 8, 2024 -
nixcon-2024-player-template Public
Forked from garnix-io/nixcon-2024-player-templateNix Other UpdatedNov 27, 2024 -
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedNov 13, 2024 -
Nix, the purely functional package manager
C++ GNU Lesser General Public License v2.1 UpdatedNov 13, 2024 -
-
-
nix.dev Public
Forked from NixOS/nix.devOfficial documentation for getting things done with Nix.
Nix Creative Commons Attribution Share Alike 4.0 International UpdatedSep 17, 2024 -
haskell-companies Public
Forked from erkmos/haskell-companiesA gently curated list of companies using Haskell in industry
The Unlicense UpdatedSep 17, 2024 -
-
lightning Public
Forked from fleek-network/lightningFleek Network, a decentralized edge platform.
Rust GNU General Public License v3.0 UpdatedJul 6, 2024 -
github-app Public
Forked from ilyakooo0/github-appHaskell API for authenticating as a GitHub App
-
servant-acl Public
ACL for servant applications
-
shajra-provisioning Public template
Forked from shajra/shajra-provisioningPersonal provisioning machines with Nix
Nix GNU General Public License v3.0 UpdatedAug 4, 2023 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedJun 6, 2023 -
-
ghc-nix Public
Forked from matthewbauer/ghc-nixExploring the options for incremental Haskell builds using Nix
Haskell MIT License UpdatedDec 13, 2022 -
servant-prometheus Public
Forked from serokell/servant-prometheusAutomatically produce per-endpoint monitorings for servant apps
Haskell BSD 3-Clause "New" or "Revised" License UpdatedNov 16, 2022 -
-
vite-plugin-prerender Public
Forked from Rudeus3Greyrat/vite-plugin-prerenderFlexible, framework-agnostic static site generation for sites and SPAs built with Vite.
TypeScript UpdatedSep 5, 2022 -
search Public
Forked from ekmett/searchinfinite search in finite time with Hilbert's epsilon
Haskell Other UpdatedJul 8, 2022 -
-
openapi3 Public
Forked from biocad/openapi3OpenAPI 3.0 data model
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 5, 2022 -
alejandra Public
Forked from kamadorueda/alejandraThe Uncompromising Nix Code Formatter
Rust The Unlicense UpdatedMar 4, 2022 -
-
-