peter-mlabs

peter-mlabs's Stars

• sharkdp/fd

  A simple, fast and user-friendly alternative to 'find'

  Language:Rust34.1k143862817

• NixOS/nix

  Nix, the purely functional package manager

  Language:C++12.7k1166.2k1.5k

• cisco/ChezScheme

  Chez Scheme

  Language:Scheme7k353521987

• tweag/nickel

  Better configuration for less

  Language:Rust2.4k3659692

• NixOS/hydra

  Hydra, the Nix-based continuous build system

  Language:Perl1.2k47672304

• nix-community/dream2nix

  Simplified nix packaging for various programming language ecosystems [maintainer=@DavHau]

  Language:Nix1k16289123

• DavHau/mach-nix

  Create highly reproducible python environments

  Language:Python86311436106

• nix-community/vulnix

  Vulnerability (CVE) scanner for Nix/NixOS.

  Language:Python474156936

• bnbeckwith/writegood-mode

  Minor mode for Emacs to improve English writing

  Language:Emacs Lisp463172631

• tweag/awesome-learning-haskell

  A collection of resources which were useful to Tweagers for learning Haskell and its various aspects

  41237121

• divnix/std

  A DevOps framework for the SDLC with the power of Nix and Flakes. Good for keeping deadlines!

  Language:Nix3991515843

• haskell/mtl

  The Monad Transformer Library

  Language:Haskell367227765

• martinescardo/HoTTEST-Summer-School

  HoTTEST Summer School materials

  Language:TeX28827169

• edolstra/flake-compat

  Language:Nix251132671

• natefaubion/purescript-psa

  Error/Warning reporting frontend for the PureScript compiler

  Language:PureScript9093213

• geniusyield/atlas

  Application backend for Plutus smart contracts on Cardano

  Language:Haskell67820618

• makerdao/oracles-v2

  Language:Nix4919238

• tejing1/nixos-config

  Tejing's personal NixOS configuration flake

  Language:Nix49201

• WJWH/HPi

  Library to access the GPIO pins on a Raspberry Pi from Haskell.

  Language:Haskell44647

• mhwombat/creatur

  Framework for artificial life and other evolutionary algorithms.

  Language:Haskell30721

• tweag/nixpkgs-graph

  Generate a graph from nixpkgs

  Language:Python2122101

• mlabs-haskell/styleguide

  Language:Nix1611136

• Liqwid-Labs/liqwid-libs

  A monorepo for Liqwid Labs plutarch libraries.

  Language:Haskell148110

• dragospe/python-flake-template

  A nix flake template for python

  Language:Makefile5102

• kamekura/haskell-cgt

  A simple Haskell module for combinatorial games.

  Language:Haskell51

• mlabs-haskell/tx-village

  Opinionated Rust/Haskell ecosystem of libraries and tools to work with Cardano smart contracts

  Language:Rust48230

• input-output-hk/purescript-bridge-json-helpers

  Helpers for argonaut encoders and decoders generated by purescript-bridge

  Language:Nix34

• Liqwid-Labs/plutarch-safe-money

  Language:Haskell3221

• emiflake/nixflake2.0

  Language:Nix2211

• mlabs-haskell/plutus-integer-bytestring

  PoC implementation of Integer <-> ByteString conversions for Plutus

  Language:Haskell160