Jakob Praher's repositories

ipython-ocaml-kernel

Ocaml binding for ipython-xlang-kernel

Language:OCamlLicense:NOASSERTIONStargazers:7Issues:0Issues:0

teyjus

An efficient implementation of the higher-order logic programming language Lambda Prolog (clone of http://code.google.com/p/teyjus/)

Language:CLicense:GPL-3.0Stargazers:2Issues:0Issues:0

egitd

The Erlang git-daemon

Language:ErlangStargazers:1Issues:0Issues:0

emacs-configs

My personal Emacs configuration

Language:Emacs LispStargazers:1Issues:0Issues:0

emscripten

Emscripten: An LLVM-to-JavaScript Compiler

Language:JavaScriptLicense:NOASSERTIONStargazers:1Issues:0Issues:0

githtml

Renders .html pages from github repositories for fast viewing.

Language:JavaScriptStargazers:1Issues:0Issues:0

github-js

GitHub.js

Language:JavaScriptLicense:NOASSERTIONStargazers:1Issues:0Issues:0

jquery-ui-widgets

Custom jquery ui widgets

Stargazers:1Issues:0Issues:0

liquor-cabinet

remoteStorage API, based on Sinatra and Riak

Language:RubyLicense:MITStargazers:1Issues:0Issues:0

mimeparse

Erlang mimeparse

Language:ErlangStargazers:1Issues:0Issues:0

mustache.erl

Mustache template engine for Erlang.

Language:ErlangLicense:MITStargazers:1Issues:0Issues:0

ocamljs

Javascript back-end for OCamlc

Language:OCamlLicense:NOASSERTIONStargazers:1Issues:0Issues:0
Language:PHPStargazers:1Issues:0Issues:0

openshift-typo3-template

template for using typo3 on openshift

Language:PHPStargazers:1Issues:0Issues:0

simple_bridge

SimpleBridge provides a simple, standardized interface to Erlang HTTP Servers.

Language:ErlangLicense:MITStargazers:1Issues:0Issues:0

symbolicrewrite

a playground for symbolic computation, mostly in javascript

Stargazers:1Issues:0Issues:0

Cxx.jl

The Julia C++ Interface

Language:JuliaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

deriving

Extension to OCaml for deriving functions from type declarations.

Language:OCamlLicense:MITStargazers:0Issues:0Issues:0

ipython

Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

ipython-xlang-kernel

Clone of ipython message protocol to talk to other execution environments

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

julia-studio

An IDE for the Julia Language

Language:C++License:GPL-3.0Stargazers:0Issues:0Issues:0

Ollam.jl

OLLAM: Online Learning of Linear Adaptable Models

Language:JuliaLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:PHPStargazers:0Issues:0Issues:0

ordlog

ordlog

Language:CStargazers:0Issues:0Issues:0

parsimonious

The fastest pure-Python PEG parser I can muster

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

riscv-isa-sim

RISC-V Functional ISA Simulator

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

smackage

Smackage Package Manager for Standard ML

Language:Standard MLLicense:NOASSERTIONStargazers:0Issues:0Issues:0