peterbecich

peterbecich's Stars

• jenkinsci/saml-plugin

  A SAML 2.0 Plugin for the Jenkins Continuous Integration server

  Language:Java62103

• NixOS/hydra

  Hydra, the Nix-based continuous build system

  Language:Perl1.2k310

• nix-community/lorri

  Your project’s nix-env [maintainer=@Profpatsch,@nyarly]

  Language:Rust71924

• purs-nix/purs-nix

  Manage your PureScript projects with Nix!

  Language:Nix7227

• keycloak/keycloak

  Open Source Identity and Access Management For Modern Applications and Services

  Language:Java24.3k6.9k

• authts/oidc-client-ts

  OpenID Connect (OIDC) and OAuth2 protocol support for browser-based JavaScript applications

  Language:TypeScript1.4k215

• darichey/PureSweep

  A minesweeper clone written in PureScript

  Language:PureScript5

• hwayne/awesome-cold-showers

  For when people get too hyped up about things

  7.3k81

• bbatsov/projectile

  Project Interaction Library for Emacs

  Language:Emacs Lisp4k580

• haskell-hvr/cabal-plan

  Library and utility for processing cabal's plan.json file

  Language:Haskell3925

• input-output-hk/haskell.nix

  Alternative Haskell Infrastructure for Nixpkgs

  Language:Nix565237

• nix-community/rnix-lsp

  WIP Language Server for Nix! [maintainer=@aaronjanse]

  Language:Rust71040

• Gabriella439/haskell-nix

  Nix and Haskell in production

  Language:Nix1.1k116

• akermu/emacs-libvterm

  Emacs libvterm integration

  Language:Emacs Lisp1.7k138

• reactive-tech/kubegres

  Kubegres is a Kubernetes operator allowing to deploy one or many clusters of PostgreSql instances and manage databases replication, failover and backup.

  Language:Go1.3k74

• haskell/actions

  Github actions for Haskell CI

  Language:TypeScript14754

• haskell/network

  Low-level networking interface

  Language:Haskell329189

• official-stockfish/Stockfish

  A free and strong UCI chess engine

  Language:C++12k2.3k

• mlang/chessIO

  Fast haskell chess move generator library and console UCI frontend

  Language:Haskell316

• natefaubion/purescript-routing-duplex

  Unified parsing and printing for routes in PureScript

  Language:PureScript9118

• Trequetrum/halogen-sudoku-solver

  Constraint Propagation and Recursive Sudoku Solving with a minimal SPA Frontend written in PureScript

  Language:PureScript1

• dfithian/prune-juice

  Prune unused Haskell dependencies.

  Language:Haskell474

• morphismtech/squeal

  Squeal, a deep embedding of SQL in Haskell

  Language:Haskell36332

• djrobstep/migra

  Like diff but for PostgreSQL schemas

  Language:Python2.9k126

• lassik/emacs-format-all-the-code

  Auto-format source code in many languages with one command

  Language:Emacs Lisp623108

• ianbollinger/purescript-style-guide

  A style guide for the PureScript programming language.

  402

• nwolverson/purescript-language-server

  Language:PureScript19143

• neovim/libvterm

  Language:C16353

• purescript-contrib/purescript-argonaut-generic

  Generic encoding and decoding functions for data types with a Generic.Rep instance

  Language:PureScript2223

• coot/purescript-argonaut-aeson-generic

  Argonaut codecs for aeson generic encoding

  Language:PureScript1213