Top 1067 Nix open source projects

Emacs configuration modified from spacemacs

A tool suite to aid Haskell development using `cabal-install`

An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types

NixOps home network

IPFS wrapper for Haskell

📦 Data repository for webwallet

Jupyter notebooks

A suite of Haskell libraries for representing, manipulating, and sampling random variables

Just Add Water direnv support for the nix-shell

Derivations for easily downloading Dhall binaries and putting them to use.

Simple Rust library to interact with healthchecks.io

No description, website, or topics provided.

Replace GUI popup menu in Emacs with something more efficient

No description, website, or topics provided.

Typesafe URLs for Haskell Wai applications

Emacs configuration

Prefetch any fetcher function call, e.g. a package source

The system configuration of a professional yak shaver

Haskell implementation of the server-side verifier for Web Authentication API

No description, website, or topics provided.

Development tools for https://github.com/leanprover-community/mathlib

This is not the Git repo you're looking for...

Allows switch environment for Visual Studio Code using Nix Package Manager.

Kakoune support for rendering ANSI-colored text.

advent of code

My minimal Gruvbox CSS file I've been keeping multiple places

Shellcasting client and server

Nix expressions to build Eta

No description, website, or topics provided.

A toy implementation of the bitcoin protocol in ocaml.

https://clojuredocs.org examples and notes, instantly under your finger tips

Completely theme responsive, lean, streamlined lua configuration for neovim (dotfiles). NeoCode aims to provide a fluent experience in nvim and vscode.

Type-safe SQL interactions with PostgreSQL, based on Opaleye.

Educational implementation of dependent types

my Linux Configuration

a calculator REPL, similar to bc(1)

A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.

Search Hoogle from Rofi

nix+spack = nixpack (spanix?)

Exploring the options for incremental Haskell builds using Nix

A text-based adventure written in Rust

A tree-sitter grammar for protocol buffer files (proto3).

Automatically generate Nix expressions for Emacs packages

Automatische Impfterminbuchung für www.impfterminservice.de

Infrastucture benchmarks

BaseDAO - a generic smart contract framework for DAOs on Tezos

Concurrency features for the Haskell machines package

Safety for the pipes ecosystem

Remember how long commands take, tell me if I have enough time to make a sandwich

Communicate with USB devices