Pinned Repositories
haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
lsp
Haskell library for the Microsoft Language Server Protocol
autowire
Golang wire without writing wire.go manually
cabal-bundle-clib
cabal-hoogle
hs-web-template
Template for haskell web projects
leetcode-hs
LeetCode solutions in Haskell. Tested against C.
license-gen
A license generator for JHApp. Opensource.
v2ray-network
Nix flake for a v2ray network
kokobd's Repositories
kokobd/cabal-hoogle
kokobd/v2ray-network
Nix flake for a v2ray network
kokobd/hs-web-template
Template for haskell web projects
kokobd/persistent-dynamodb
kokobd/amazonka
A comprehensive Amazon Web Services SDK for Haskell.
kokobd/amazonka-effectful
kokobd/amazonka-profiling
kokobd/ban-instance
Declare that a typeclass instance should not exist.
kokobd/cabal
Official upstream development repository for Cabal and cabal-install
kokobd/coder
My coder setup
kokobd/dhall-aws-cloudformation
Typecheck, template and modularize your AWS CloudFormation with Dhall
kokobd/foliage
🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.
kokobd/hal-edge
Haskell for AWS Lambda@Edge
kokobd/haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
kokobd/haskell-oidc-client
OpenID Connect 1.0 client (RP) library for Haskell
kokobd/haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
kokobd/hs-hoist-error
Some conveniences for hoisting errors into monads
kokobd/hs-jose
Haskell JOSE and JWT library
kokobd/htmx
</> htmx - high power tools for HTML
kokobd/lsp
Haskell library for the Microsoft Language Server Protocol
kokobd/lzma
Haskell bindings to liblzma
kokobd/netsuite-wsdl
kokobd/nixos-pods
kokobd/rust-playground
kokobd/semigroupoids
kokobd/time
Haskell time library
kokobd/v2ray-core
A platform for building proxies to bypass network restrictions.
kokobd/wai-handler-hal
Run a WAI application as the backend Lambda of an AWS API Gateway REST API
kokobd/workflow-test
Temporary repo for testing github workflow semantics
kokobd/Xray-core
Xray, Penetrates Everything. Also the best v2ray-core, with XTLS support. Fully compatible configuration.