GithubHelp home page GithubHelp logo

endgame's Projects

amazonka icon amazonka

A comprehensive Amazon Web Services SDK for Haskell.

aws-cdk icon aws-cdk

The AWS Cloud Development Kit is a framework for defining cloud infrastructure in code

beam icon beam

A type-safe, non-TH Haskell SQL library and ORM

bootstrap icon bootstrap

Sleek, intuitive, and powerful front-end framework for faster and easier web development.

botocore icon botocore

The low-level, core functionality of boto 3.

codeworld icon codeworld

Educational computer programming environment using Haskell

crypton icon crypton

lowlevel set of cryptographic primitives for haskell

dependent-sum icon dependent-sum

Dependent sums and supporting typeclasses for comparing and displaying them

ede icon ede

Templating language with similar syntax and features to Liquid or Jinja2.

gdp icon gdp

Ghosts of Departed Proofs

grampa icon grampa

Grammar parser - combinator library for parsing a general context-free grammar

groups icon groups

Group and Abelian group typeclasses

hal icon hal

hal provides an AWS Lambda Custom Runtime environment for your Haskell applications.

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.