Git Product home page Git Product logo

Eric Mertens's Projects

commsec icon commsec

A "native" communications security package for Haskell

config-schema icon config-schema

Self-documenting, combinator constructed configuration schemas

config-value icon config-value

Simple, layout-based, unambiguous configuration language implemented in Haskell

cryptol icon cryptol

Cryptol: The Language of Cryptography

cryptonite icon cryptonite

lowlevel set of cryptographic primitives for haskell

dang icon dang

A compiler for a strongly typed, haskell-like functional language

docs icon docs

The Jolie Documentation files

eir icon eir

Eir is an IRC client bot framework, written primarily for freenode utility functions. It is, however, highly extensible using C++ or Perl, and is used by other projects as well.

ersatz icon ersatz

A monad for interfacing with external SAT solvers

essentials icon essentials

Essentials - Minecraft server command mod - Adds over 100 commands for use in-game to help manage a server

factor icon factor

Factor programming language by Slava Pestov

folds icon folds

Folds and sequence algebras

generic-traverse icon generic-traverse

Demonstration for how to build "traverse" using GHC.Generics efficiently

ghc icon 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.

gloss icon gloss

Painless 2D vector graphics, animations and simulations.

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.