Code Monkey home page Code Monkey logo

Edward Kmett's Projects

lens-core icon lens-core

Either a proper lens core library once ghc 8.4 is sufficiently far in the rearview mirror or a tool to avoid `lens-core` confusing users in case we use `lens:core` and cabal 3.4

linear icon linear

Low-dimensional linear algebra primitives for Haskell.

log-domain icon log-domain

This package provides log-domain floats, doubles and complex numbers for Haskell.

logict icon logict

A backtracking logic-programming monad.

luthor icon luthor

fast unicode-enabled quasiquoted lexers for Haskell (work in progress)

machines icon machines

Networks of composable stream transducers

magpie icon magpie

an exploration of subtyping-based category theory in scala

manifold icon manifold

Manifold Markets: A market for every question

memo icon memo

Generic memo combinators

miden icon miden

STARK-based virtual machine

monad-products icon monad-products

monad products (for use until the transformers monad instances on products show up)

monad-ran icon monad-ran

Right Kan extension transformers covering the entire MTL, IO, ST s, and STM in Haskell in a generalization of continuation passing style

monoids icon monoids

Monoids, specialized containers and a general map/reduce framework

name icon name

nominal sets in haskell

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.