jkarni

jkarni's Stars

• jxnblk/mdx-deck

  ♠️ React MDX-based presentation decks

  Language:JavaScript11.4k83325604

• riverwm/river

  [mirror] A dynamic tiling Wayland compositor

  Language:Zig3.4k480154

• life-itself/web3

  Making sense of web3 & crypto. Introduction to key concepts and ideas. Rigorous, constructive analysis of key claims pro and con. A look at the deeper hopes and aspirations.

  Language:HTML1.8k3396194

• radicle-dev/radicle-alpha

  A peer-to-peer stack for code collaboration

  Language:Haskell9142817032

• nix-community/srvos

  NixOS profiles for servers [maintainer=@numtide]

  Language:Nix612173136

• jwbuurlage/category-theory-programmers

  Category theory in the context of (functional) programming

  52130438

• jameshaydon/lawvere

  A categorical programming language with effects

  Language:Haskell2701375

• garnix-io/garn

  garn is a build tool and environment manager that replaces justfiles/makefiles, docker, and the annoying parts of READMEs. The builders lingua franca.

  Language:TypeScript26462056

• infinisil/nixus

  Experimental deployment tool supporting multi-host abstractions

  Language:Nix211133315

• hercules-ci/legacy-old-hercules

  Abandoned

  Language:Haskell168243316

• usds/us-forms-system

  Build React forms with JSON Schema and the U.S. Web Design System

  Language:JavaScript1404718935

• dnr/styx

  alternate nix substitution

  Language:Go131712

• hercules-ci/hercules-ci-agent

  https://hercules-ci.com build and deployment agent

  Language:Haskell1021015419

• jeukshi/haskell-servant-realworld-example-app

  Language:Haskell72573

• jml/servant-template

  Cookiecutter template for Servant projects

  Language:Haskell577183

• mayflower/nixexprs

  Public, Opinionated Mayflower NixOS Modules/Packages and other Expressions

  Language:Nix391124

• garnix-io/cradle

  Language:Haskell25482

• nickmvincent/DataLeverageRoundup

  A roundup of:

  22600

• kosmikus/records-sop

  Experimental implementation of generic record subtyping

  Language:Haskell18856

• sellout/project-manager

  Home Manager, but for repos.

  Language:Nix163231

• gmalecha/template-coq

  Reflection library for Coq

  Language:OCaml125230

• circuithub/oso

  Haskell bindings to the Polar query engine and Oso authorization library

  Language:Haskell1161

• plow-technologies/servant-aeson-specs

  Generically obtain tests for JSON serialization

  Language:Haskell91947

• izens-net/picket

  Collective bargaining for netizens

  Language:JavaScript84230

• dbalan/servant-python

  Generate python client code for servant.

  Language:Haskell5200

• soenkehahn/servant-api-check

  Language:Haskell5

• stepcut/relatable

  a pure, strongly typed relational algebra library

  Language:Haskell420

• Delaunay/typer

  An experimental functional programing language. Typer combines a proof assitant and a powerful macro system to generate safer code.

  Language:OCaml2300

• jeff-hykin/denix

  Language:JavaScript230

• jameshaydon/explain

  Language:Haskell140