plaidfinch Goto Github PK

beta.rust-lang.org

the home of the new rust website - now in beta!

binomial-heaps

Binomial heaps with GADT-enforced shape constraints.

boogie

Boogie

catalan-isomorphisms

Experiments with type-safe encoding and translation of various mathematical objects which are counted by the Catalan numbers, such as Dyck paths, ordered trees, binary trees, and others.

cis670-16fa

Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016

cogoldrust-rustbridge-2019

Lecture notes and exercises for the RustBridge workshop from CO Gold Rust conference 2019

comonadsheet

A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comonads.

data-kiln

Sculpt mutable recursive data with reference equality; bake it using a data kiln into an immutable lazy structure

dear-github-2.0

📨 An open letter to GitHub from the maintainers of open source projects

euler14-optimization

Progressively optimized versions (in Haskell) of a solution to Problem 14 from Project Euler.

foldilocks

Tutorial using ghci to make folds easier. Come for the tutorial, stay for the fold puns.

fused-effects

A fast, flexible, fused effect system for Haskell

gcbp

Gordon Complementary Bijection Principle

ghc

Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list ([email protected]). First time contributors are encouraged to get started by just sending a Pull Request.

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

ghcid

Very low feature GHCi based IDE

gqfc

Source material for "Functional Pearl: Getting a Quick Fix on Comonads"

haskell-foldl-library

Composable, streaming, and efficient left folds

haskell-pair-programming

hopscotch

A FIFO queue for efficiently hopping and skipping between tagged items

hyper-usse

SSE library for Hyper

ifold

Indenting fold (ifold) is a replacement for the UNIX fold command, which indents every wrapped line by the same amount that the original line was indented. This is useful, e.g. for converting plain-text documents into other formats.

indexedlist

Length-indexed and "conic" lists, along with functions to convert between them.

infinitable

Library providing a datatype and instances for possibly-infinite numbers, designed to wrap any unbounded numeric type.

intero

Complete interactive development program for Haskell

lazy-combinatorics

Exploration of how to do fair traversals of simple combinatorial objects (e.g. powerset, cartesian product) in Clojure.

leaf

Translate webpage content into epub format, for off-screen reading

linkaj

Persistent associative datatypes with more features than Clojure's built-in maps, including bijective maps, key-attribute-value maps, bipartite graphs, and directed graphs with arbitrary node and edge attributes.

myxine

Get a GUI fast in any language under the sea!

nestedfunctor

Nested composition of functors with a type index tracking nesting.