Giter Club home page Giter Club logo

Paul Koerbitz's Projects

clj-mcmc icon clj-mcmc

A Markov chain Monte Carlo toolkit in Clojure

el-get icon el-get

Manage the external elisp bits and pieces upon which you depend!

hbci4java icon hbci4java

Fork of HBCI4Java (from http://hbci4java.kapott.org), that contains support for chipTAN, smsTAN, HHD, SEPA and other fixes/enhancements

hsbci icon hsbci

A fast, modular and simple HBCI library for Haskell

idfxt icon idfxt

An Xmonad clone written in Idris

idris-dev icon idris-dev

A Dependently Typed Functional Programming Language

jurenal icon jurenal

An experimental clojure blog for google app engine

language-slice icon language-slice

Parsing and AST for ZeroC's Slice intermediate definition language (ice)

linfa icon linfa

A Rust machine learning framework.

notable icon notable

The Markdown-based note-taking app that doesn't suck.

papers icon papers

A Git annex repository of papers

pauls_tools icon pauls_tools

Some simple python tools I keep using, mostly to process and plot data

quill icon quill

Quill is a modern WYSIWYG editor built for compatibility and extensibility.

quox icon quox

The power of redux with the convenience of mobx

rbtree icon rbtree

Certified RedBlack trees in Idris

resolve-types icon resolve-types

Resolve TypeScript types in inline code. Useful for testing type operators.

rpn-demo icon rpn-demo

A simple Haskell introduction demonstrating a few features while implementing a RPN calculator

rust icon rust

a safe, concurrent, practical language

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.