Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by ekmett

A curated list of projects in awesome lists by ekmett .

https://github.com/ekmett/lens

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

Last synced: 29 Oct 2024

https://github.com/ekmett/ad

Automatic Differentiation

Last synced: 15 Oct 2024

https://github.com/ekmett/machines

Networks of composable stream transducers

Last synced: 15 Oct 2024

https://github.com/ekmett/trifecta

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

Last synced: 15 Oct 2024

https://github.com/ekmett/guanxi

Relational programming in Haskell. Mostly developed on twitch.

Last synced: 30 Oct 2024

https://github.com/ekmett/quine

haskell, opengl, toy project

Last synced: 31 Oct 2024

https://github.com/ekmett/linear

Low-dimensional linear algebra primitives for Haskell.

Last synced: 29 Oct 2024

https://github.com/ekmett/propagators

The Art of the Propagator. See also:

Last synced: 31 Oct 2024

https://github.com/ekmett/coda

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

coda haskell node programming-language visual-studio vscode-extension

Last synced: 31 Oct 2024

https://github.com/ekmett/free

free monads

Last synced: 15 Oct 2024

https://github.com/ekmett/hask

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

Last synced: 31 Oct 2024

https://github.com/ekmett/discrimination

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

Last synced: 30 Oct 2024

https://github.com/ekmett/bound

Combinators for manipulating locally-nameless generalized de Bruijn terms

Last synced: 30 Oct 2024

https://github.com/ekmett/reflection

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

Last synced: 15 Oct 2024

https://github.com/ekmett/algebra

constructive abstract algebra

Last synced: 31 Oct 2024

https://github.com/ekmett/gl

Complete raw OpenGL bindings for Haskell

Last synced: 31 Oct 2024

https://github.com/ekmett/succinct

playground for working with succinct data structures

Last synced: 15 Oct 2024

https://github.com/ekmett/parsers

Generic parser combinators

Last synced: 15 Oct 2024

https://github.com/ekmett/linear-logic

Last synced: 15 Oct 2024

https://github.com/ekmett/kan-extensions

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

Last synced: 15 Oct 2024

https://github.com/ekmett/tables

Deprecated because of

Last synced: 31 Oct 2024

https://github.com/ekmett/comonad

Haskell 98 comonads

Last synced: 30 Oct 2024

https://github.com/ekmett/contravariant

Haskell 98 contravariant functors

Last synced: 31 Oct 2024

https://github.com/ekmett/constraints

Tools for programming with ConstraintKinds in GHC

Last synced: 29 Oct 2024

https://github.com/ekmett/profunctors

Haskell 98 Profunctors

Last synced: 30 Oct 2024

https://github.com/ekmett/cadenza

every day i'm truffling

Last synced: 15 Oct 2024

https://github.com/ekmett/codex

UI experiments for coda

Last synced: 31 Oct 2024

https://github.com/ekmett/approximate

Approximate discrete values and numbers

Last synced: 15 Oct 2024

https://github.com/ekmett/structures

A playground for working on advanced data structures in Haskell

Last synced: 15 Oct 2024

https://github.com/ekmett/ersatz

A monad for interfacing with external SAT solvers

Last synced: 29 Oct 2024

https://github.com/ekmett/semigroups

Haskell 98 semigroups

Last synced: 31 Oct 2024

https://github.com/ekmett/bifunctors

Haskell 98 bifunctors, bifoldables and bitraversables

Last synced: 30 Oct 2024

https://github.com/ekmett/either

the EitherT monad transformer

Last synced: 31 Oct 2024

https://github.com/ekmett/unpacked-containers

Unpacked containers using backpack

containers data-structures haskell unpacked

Last synced: 15 Oct 2024

https://github.com/ekmett/exceptions

mtl friendly exceptions

Last synced: 29 Oct 2024

https://github.com/ekmett/structs

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

Last synced: 30 Oct 2024

https://github.com/ekmett/reducers

Semigroups, specialized containers and a general map/reduce framework

Last synced: 31 Oct 2024

https://github.com/ekmett/adjunctions

Simple adjunctions

Last synced: 31 Oct 2024

https://github.com/ekmett/distributive

Dual Traversable

Last synced: 31 Oct 2024

https://github.com/ekmett/graphs

a monadic graph library

Last synced: 15 Oct 2024

https://github.com/ekmett/zippers

Zippers based on lenses and traversals

Last synced: 15 Oct 2024

https://github.com/ekmett/tagged

phantom types

Last synced: 30 Oct 2024

https://github.com/ekmett/unboxed

experimenting with unlifted classes via backpack

Last synced: 15 Oct 2024

https://github.com/ekmett/rounded

MPFR bindings for Haskell

Last synced: 15 Oct 2024

https://github.com/ekmett/categories

categories from category-extras

Last synced: 15 Oct 2024

https://github.com/ekmett/placeholder

todo and unimplemented, robustly implemented

Last synced: 31 Oct 2024

https://github.com/ekmett/concurrent

Yet another concurrent playground

Last synced: 15 Oct 2024

https://github.com/ekmett/hyphenation

Knuth-Liang Hyphenation for Haskell based on TeX hyphenation files

Last synced: 15 Oct 2024

https://github.com/ekmett/transients

Clojure-style transients for Haskell

Last synced: 15 Oct 2024

https://github.com/ekmett/abelian

Commutative Applicatives and Semigroups

Last synced: 15 Oct 2024

https://github.com/ekmett/speculation

Safe, programmable, speculative evaluation for Haskell

Last synced: 15 Oct 2024

https://github.com/ekmett/hkd

higher-kinded data

Last synced: 15 Oct 2024

https://github.com/ekmett/heaps

Asymptotically optimal Brodal/Okasaki heaps

Last synced: 15 Oct 2024

https://github.com/ekmett/rts

spmd-on-simd stuff

Last synced: 15 Oct 2024

https://github.com/ekmett/promises

lazy promises

Last synced: 15 Oct 2024

https://github.com/ekmett/intervals

Interval Arithmetic

Last synced: 31 Oct 2024

https://github.com/ekmett/intern

Hash consing for arbitrary Haskell data types

Last synced: 30 Oct 2024

https://github.com/ekmett/hyperloglog

A constant-memory approximation of set membership

Last synced: 15 Oct 2024

https://github.com/ekmett/magpie

an exploration of subtyping-based category theory in scala

Last synced: 15 Oct 2024

https://github.com/ekmett/lca

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

Last synced: 15 Oct 2024

https://github.com/ekmett/sparse

sparse matrices in Morton order

Last synced: 15 Oct 2024

https://github.com/ekmett/bytes

Serialization primitives that work with both cereal and binary.

Last synced: 31 Oct 2024

https://github.com/ekmett/streams

Haskell 2010 stream comonads

Last synced: 15 Oct 2024

https://github.com/ekmett/keys

keyed functors

Last synced: 31 Oct 2024

https://github.com/ekmett/indexed

Indexed Functors for GHC 7.6

Last synced: 15 Oct 2024

https://github.com/ekmett/scala-ad

Forward- and Reverse-Mode Automatic Differentiation for Scala

Last synced: 15 Oct 2024

https://github.com/ekmett/pointed

pointed and copointed data

Last synced: 15 Oct 2024

https://github.com/ekmett/vr

nothing to see here

Last synced: 15 Oct 2024

https://github.com/ekmett/name

nominal sets in haskell

Last synced: 15 Oct 2024

https://github.com/ekmett/jitplusplus

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

Last synced: 15 Oct 2024

https://github.com/ekmett/fractions

lazy continued fractions

Last synced: 15 Oct 2024

https://github.com/ekmett/rope

Fingertrees of Bytestrings

Last synced: 15 Oct 2024

https://github.com/ekmett/void

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

Last synced: 15 Oct 2024

https://github.com/ekmett/scheme-monads

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

Last synced: 15 Oct 2024

https://github.com/ekmett/parsnip

Last synced: 15 Oct 2024

https://github.com/ekmett/folds

Folds and sequence algebras

Last synced: 15 Oct 2024

https://github.com/ekmett/category-extras

category-theoretic goodness for Haskell

Last synced: 15 Oct 2024

https://github.com/ekmett/homotopy

Last synced: 15 Oct 2024

https://github.com/ekmett/thc

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

Last synced: 15 Oct 2024

https://github.com/ekmett/lens-action

Control.Lens.Action

Last synced: 15 Oct 2024

https://github.com/ekmett/concurrent-supply

A fast globally unique variable supply with a pure API

Last synced: 15 Oct 2024

https://github.com/ekmett/multicategories

Playing around with multicategories and operads

Last synced: 15 Oct 2024

https://github.com/ekmett/bad

a playground for working with fully static tensors and automatic differentiation

Last synced: 15 Oct 2024

https://github.com/ekmett/rcu

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

Last synced: 15 Oct 2024

https://github.com/ekmett/kanso

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

Last synced: 15 Oct 2024

https://github.com/ekmett/gc

Poor Richard's Memory Manager

Last synced: 15 Oct 2024

https://github.com/ekmett/scala-attoparsec

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

Last synced: 15 Oct 2024

https://github.com/ekmett/succinct-binary

Succinct binary serialization

haskell serialization succinct

Last synced: 15 Oct 2024

https://github.com/ekmett/bits

Bit twiddling and bitwise serialization primitives

Last synced: 15 Oct 2024

https://github.com/ekmett/hyperfunctions

playing with hyperfunctions

Last synced: 15 Oct 2024

https://github.com/ekmett/half

half-precision floating-point

Last synced: 15 Oct 2024

https://github.com/ekmett/codebruijn

experiments with pext/pdep and codebruijn syntax

Last synced: 15 Oct 2024

https://github.com/ekmett/haskell

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

Last synced: 15 Oct 2024

https://github.com/ekmett/time-series

Playing with time series

Last synced: 15 Oct 2024

https://github.com/ekmett/eq

Leibnizian type equality

Last synced: 15 Oct 2024

https://github.com/ekmett/nbe-in-java-19

a throwaway implementation of normalization by evaluation

Last synced: 15 Oct 2024

https://github.com/ekmett/keep

playing with resumable computations

Last synced: 15 Oct 2024