Discover ekmett/placeholder Open Source project

Stars
7
Rank 2,222,876 (Top 46 %)
Language
Haskell
License
Other
Created about 1 month ago
Updated about 1 month ago

ekmett

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

todo and unimplemented, robustly implemented

lens

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

Haskell

1,989

Automatic Differentiation

Haskell

364

machines

Networks of composable stream transducers

Haskell

338

trifecta

Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink

Haskell

293

guanxi

Relational programming in Haskell. Mostly developed on twitch.

Haskell

250

quine

haskell, opengl, toy project

Haskell

211

linear

Low-dimensional linear algebra primitives for Haskell.

Haskell

195

hask

Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)

Haskell

161

propagators

The Art of the Propagator. See also:

Haskell

160

coda

A language experiment -- irc.freenode.net ##coda

free

discrimination

Fast linear time sorting and discrimination for a large class of data types

Haskell

135

bound

Combinators for manipulating locally-nameless generalized de Bruijn terms

Haskell

121

reflection

Reifies arbitrary Haskell terms into types that can be reflected back into terms

Haskell

101

algebra

constructive abstract algebra

Haskell

succinct

playground for working with succinct data structures

Haskell

Complete raw OpenGL bindings for Haskell

Haskell

parsers

Generic parser combinators

Haskell

linear-logic

Haskell

tables

Deprecated because of

comonad

semigroupoids

kan-extensions

Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor

Haskell

contravariant

Haskell 98 contravariant functors

Haskell

constraints

Tools for programming with ConstraintKinds in GHC

Haskell

profunctors

Haskell 98 Profunctors

Haskell

cadenza

every day i'm truffling

Kotlin

codex

UI experiments for coda

Haskell

approximate

Approximate discrete values and numbers

Haskell

structures

A playground for working on advanced data structures in Haskell

Haskell

semigroups

Haskell 98 semigroups

Haskell

ersatz

A monad for interfacing with external SAT solvers

Haskell

bifunctors

Haskell 98 bifunctors, bifoldables and bitraversables

Haskell

either

the EitherT monad transformer

Haskell

unpacked-containers

Unpacked containers using backpack

Haskell

exceptions

mtl friendly exceptions

Haskell

structs

Exploring how to make a strict imperative universe in the GHC runtime system.

Haskell

reducers

Semigroups, specialized containers and a general map/reduce framework

adjunctions

distributive

auth

graphs

a monadic graph library

Haskell

zippers

Zippers based on lenses and traversals

Haskell

tagged

phantom types

Haskell

unboxed

experimenting with unlifted classes via backpack

Haskell

categories

categories from category-extras

Haskell

perhaps

A monad, perhaps.

Haskell

rounded

MPFR bindings for Haskell

Haskell

transients

Clojure-style transients for Haskell

Haskell

hyphenation

Knuth-Liang Hyphenation for Haskell based on TeX hyphenation files

Haskell

concurrent

Yet another concurrent playground

Haskell

abelian

Commutative Applicatives and Semigroups

Haskell

hkd

higher-kinded data

Haskell

speculation

Safe, programmable, speculative evaluation for Haskell

rts

promises

intervals

heaps

Asymptotically optimal Brodal/Okasaki heaps

Haskell

intern

Hash consing for arbitrary Haskell data types

Haskell

hyperloglog

A constant-memory approximation of set membership

Haskell

magpie

an exploration of subtyping-based category theory in scala

Scala

lca

Improves the known complexity of online lowest common ancestor search to O(log h) persistently, and without preprocessing

Haskell

sparse

sparse matrices in Morton order

Haskell

streams

Haskell 2010 stream comonads

Haskell

keys

keyed functors

Haskell

bytes

Serialization primitives that work with both cereal and binary.

Haskell

pointed

pointed and copointed data

Haskell

scala-ad

Forward- and Reverse-Mode Automatic Differentiation for Scala

Scala

nothing to see here

C++

name

nominal sets in haskell

Haskell

indexed

Indexed Functors for GHC 7.6

Haskell

fractions

lazy continued fractions

Haskell

rope

Fingertrees of Bytestrings

Haskell

jitplusplus

a tracing jit for c++ based on tracing and compiling from x86-64 assembly to x86-64 assembly

void

Provides Data.Void, which is in base since ghc 7.8 or so

Haskell

scheme-monads

minimalist polymorphic scheme-(co)monads, written to avoid use of any advanced language features except hygienic macros

Scheme

folds

Folds and sequence algebras

Haskell

parsnip

Haskell

category-extras

category-theoretic goodness for Haskell

Haskell

concurrent-supply

A fast globally unique variable supply with a pure API

Haskell

homotopy

Coq

thc

An experimental "Turbo" Haskell Runtime - Nothing really to see here yet

C++

lens-action

Control.Lens.Action

Haskell

rcu

experimenting with STM-backed read-copy-update in Haskell

Haskell

multicategories

Playing around with multicategories and operads

Haskell

bad

a playground for working with fully static tensors and automatic differentiation

C++

Poor Richard's Memory Manager

Haskell

scala-attoparsec

A port of Bryan O'Sullivan's attoparsec from Haskell to Scala

Scala

kanso

just a place to throw some coding experiements while i re-re-re-learn rust

Rust

hyperfunctions

playing with hyperfunctions

Haskell

succinct-binary

Succinct binary serialization

Haskell

half

half-precision floating-point

Haskell

time-series

Playing with time series

Haskell

codebruijn

experiments with pext/pdep and codebruijn syntax

Haskell

haskell

An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.

Haskell

compensated

Compensated floating-point arithmetic

Haskell

Leibnizian type equality

Haskell

nbe-in-java-19

a throwaway implementation of normalization by evaluation

Java

bits

Bit twiddling and bitwise serialization primitives

Haskell

100

hybrid-vectors

Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms

Haskell

ekmett/placeholder

ekmett

Reviews

Repository Details

More Repositories