Giter VIP home page Giter VIP logo

David Eichmann's Projects

haskell-debug icon haskell-debug

Implements a graphical haskell debugger in atom, using ghci

hclipper icon hclipper

A pure 2D geometry clipping library based on clipper

libdatachannel icon libdatachannel

C/C++ WebRTC network library featuring Data Channels, Media Transport, and WebSockets

linear icon linear

Low-dimensional linear algebra primitives for Haskell.

ode icon ode

ODE and ogre3D simulation

ode-1 icon ode-1

The Open Dynamics Engine (ODE) is a physics engine in C/C++.

ouroboros-spec icon ouroboros-spec

High-assurance implementation of the Ouroboros (Genesis) protocol

plutus icon plutus

The Plutus language implementation and tools

sodium icon sodium

Sodium - Functional Reactive Programming (FRP) Library for Java, Haskell, C++, C# and Scala

table-layout icon table-layout

Layout data in grids and pretty tables. Provides a lot of tools to get the cell formatting right (positional alignment, alignment on specific characters and limiting of cell width)..

text icon text

An efficient packed, immutable Unicode text type for Haskell, with a powerful loop fusion optimization framework.

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.