nomeata Goto Github PK

niv-updater-action

A GitHub Action that detects updates to dependencies tracked by niv and creates update pull requests

nix

Nix, the purely functional package manager

nixos-infect

[GPLv3+] install nixos over the existing OS in a DigitalOcean droplet (and others with minor modifications)

nixpkgs

Nix Packages collection

nixpkgs-dfinity-sdk

Nixpkgs overlay for the DFINITY SDK.

nns-ifaces

Network Nervous System Canister Interfaces

nofib-analyse

Parse and compare nofib runs

nt-coerce

Explicit newtype coercion lifting in Haskell

okcupid-message-downloader

A simple Python script for downloading your sent and received OkCupid messages.

packages-base

Mirror of packages-base repository. DO NOT SUBMIT PULL REQUESTS HERE

pandoc

Universal markup converter

parity-wasm

WebAssembly serialization/deserialization in rust

parser-calledarityanalysis

Slowdown in Called arity analysis from GHC 8.0.2 to GHC 8.2.1

phybin

Binning (Newick) Phylogenetic Trees by Topology

pidgin-blinklight

Blinks your ThinkPad's ThinkLight upon new messages

polyfix

Counter examples to Free Theorems

propagators

The Art of the Propagator. See also:

pybotbrain

Learn programming with Python and Telegram

quickchick

Randomized Property-Based Testing Plugin for Coq

random-haskell-code

Generates random Haskell code based on some existing corpus of modules

raw-camera-access

Spec draft: https://immersive-web.github.io/raw-camera-access/. Repository for experimentation around exposing raw camera access through WebXR Device API. Feature leads: Piotr Bialecki, Alex Turner, Nicholas Butko

rec-def-pearl

Source for the ICFP'23 Functional Pearl

reflex-dom

reflex-dom-canvas

HTML5 Canvas Integration for Reflex Dom

reflex-dom-fragment-shader-canvas

A reflex-dom widget to draw on a canvas with a fragment shader program

reflex-platform

A curated package set and set of tools that let you build Haskell packages so they can run on a variety of platforms. reflex-platform is built on top of the nix package manager.

replib

Replib: generic programming & Unbound: generic treatment of binders

rerolling-sixes

rfcs

Discussion about proposed changes to the Haskell programming language

riscv-isa-spec

Formal specification of RISC-V Instruction Set