altercation/old-ethanschoonover.com-original

website source (hakyll, pandoc markdown)

Commits: 12

idris-lang/Idris-dev

A Dependently Typed Functional Programming Language

Commits: 11

NixOS/nixpkgs

Nix Packages collection & NixOS

Commits: 6

tahoe-lafs/nixpkgs

Nix Packages collection

Commits: 5

nix-community/nixpkgs

Nix Packages collection

Commits: 4

clojure-lsp/nixpkgs

Nix Packages collection

Commits: 4

neeasade/libkookie

🍍 [Mirror] Things that make my computers more sad than other people's computers

Commits: 4

philtaken/fc-nixpkgs

Commits: 4

CertainLach/nixpkgs

Nix Packages collection

Commits: 4

NixOS/nixpkgs-channels

DEPRECATED! Use NixOS/nixpkgs repository instead.

Commits: 4

grahamc/notpkgs

lol

Commits: 4

LnL7/nix-darwin

nix modules for darwin

Commits: 3

sol/doctest

An implementation of Python's doctest for Haskell

Commits: 3

sbt/sbt-buildinfo

I know this because build.sbt knows this.

Commits: 2

github-linguist/linguist

Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

Commits: 2

scala/scala

Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3

Commits: 2

typelevel/cats

Lightweight, modular, and extensible library for functional programming.

Commits: 2

tweag/ormolu

A formatter for Haskell source code

Commits: 1

ekmett/comonad

Haskell 98 comonads

Commits: 1

NixOS/nix

Nix, the purely functional package manager

Commits: 1

steshaw/plt

Programming Language Theory λΠ

Commits: 1

steshaw/plt

Programming Language Theory λΠ

Commits: 1

dwijnand/sbt-extras

A more featureful runner for sbt, the simple/scala/standard build tool

Commits: 1

wartremover/wartremover

Flexible Scala code linting tool

Commits: 1

etorreborre/specs2

Software Specifications for Scala

Commits: 1

ekmett/semigroupoids

Commits: 1