Pinned Repositories
servant
Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
servant-auth
servant-quickcheck
Ayumu
Flexible VCS
extendp
The pipe wildcard
lev
smerdyakov
verdict
ZipperFS
Oleg Kiselyov's zipper-based file-server/OS
bookkeeper
jkarni's Repositories
jkarni/lev
jkarni/fork
jkarni/servant-acl
ACL for servant applications
jkarni/lear
jkarni/action-test
jkarni/alejandra
The Uncompromising Nix Code Formatter
jkarni/blup
jkarni/cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
jkarni/demo
jkarni/dream2nix
Simplified nix packaging for various programming language ecosystems [maintainer=@DavHau]
jkarni/flake
My Machine Config <-- Always WIP
jkarni/fork-test
jkarni/ghc-nix
Exploring the options for incremental Haskell builds using Nix
jkarni/github-app
Haskell API for authenticating as a GitHub App
jkarni/haskell-companies
A gently curated list of companies using Haskell in industry
jkarni/haskellerz
jkarni/hs-jose
Haskell JOSE and JWT library
jkarni/lean4
Lean 4 programming language and theorem prover
jkarni/lightning
Fleek Network, a decentralized edge platform.
jkarni/nix
Nix, the purely functional package manager
jkarni/nix-romandy-july-2024
jkarni/nix.dev
Official documentation for getting things done with Nix.
jkarni/nixcon-2024-player-template
jkarni/nixpkgs
Nix Packages collection
jkarni/openapi3
OpenAPI 3.0 data model
jkarni/plutus
The Plutus language implementation and tools
jkarni/search
infinite search in finite time with Hilbert's epsilon
jkarni/servant-prometheus
Automatically produce per-endpoint monitorings for servant apps
jkarni/shajra-provisioning
Personal provisioning machines with Nix
jkarni/vite-plugin-prerender
Flexible, framework-agnostic static site generation for sites and SPAs built with Vite.