Giters
Timothy Bourke (tbrk)

tbrk

Geek Repo

38

followers

93

following

318

stars

Company:Inria

Location:Paris

Home Page:http://www.tbrk.org

Github PK Tool:Github PK Tool

Organizations
inria-parkas

Timothy Bourke's repositories

jsoo-viz

Low-level js_of_ocaml interface to vis.js

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

ocamlgraph-johnson-cycles

Johnson's algorithm to calculate all cycles in a graph

Language:OCamlStargazers:2Issues:1Issues:0

tbrk.github.io

GitHub Pages for tbrk

Language:JavaScriptStargazers:2Issues:2Issues:0

emsoft

Metadata and links for the International Conference on Embedded Software

Language:OCamlLicense:BSD-2-ClauseStargazers:1Issues:1Issues:0

jsoo-dragdiv

Very basic windowing system for js_of_ocaml-based pages.

Language:OCamlLicense:BSD-2-ClauseStargazers:1Issues:2Issues:0

jsoo-svg-pan-zoom

js_of_ocaml interface to the svg-pan-zoom library

Language:OCamlLicense:BSD-2-ClauseStargazers:1Issues:2Issues:0

mpri-sync-bdd

OCaml Toplevel with BDDs for MPRI Parallélisme synchrone

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

neos-server-ocaml-client

An OCaml client for NEOS server

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

ocaml-orgmode

Rough-and-ready processing of orgmode headlines with dates

Language:OCamlLicense:BSD-2-ClauseStargazers:1Issues:2Issues:0

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

Language:ShellLicense:CC0-1.0Stargazers:1Issues:2Issues:0

otlmarks

Simplistic treatment of bookmarks in vim outliner

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

artitoc

Simple generation of LaTeX table of contents and author index for proceedings

Language:OCamlLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

bitv

OCaml bit vector library

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

bootstrap

The most popular HTML, CSS, and JavaScript framework for developing responsive, mobile first projects on the web.

Language:CSSLicense:MITStargazers:0Issues:2Issues:0

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLicense:LGPL-2.1Stargazers:0Issues:2Issues:0

coq-dpdgraph

Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]

Language:CoqLicense:LGPL-2.1Stargazers:0Issues:0Issues:0

mambo-opensource

Open Source Software used in Parrot Mambo

Language:CStargazers:0Issues:1Issues:0

mnemo-cat_colors

Mnemosyne 1.1 plugin for setting a background color per category

Language:PythonStargazers:0Issues:2Issues:0

mnemododo

Obsolete Android app for the Mnemosyne spaced repetition program

Language:JavaLicense:GPL-2.0Stargazers:0Issues:0Issues:0

mnemogogo

Obsolete Mnemosyne plugin for reviewing cards on mobile devices

Language:PythonStargazers:0Issues:0Issues:0

mnemojojo

Obsolete J2ME App for reviewing Mnemosyne cards on low-powered mobile phones

Language:JavaLicense:GPL-2.0Stargazers:0Issues:1Issues:0

ocaml

The core OCaml system: compilers, runtime system, base libraries

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:2Issues:0

ocaml-bdd

A simple BDD library for OCaml

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

ocaml-cow

Caml on the Web (COW) is a set of parsers and syntax extensions to let you manipulate HTML, CSS, XML, JSON and Markdown directly from OCaml code.

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:2Issues:0

ocamlgraph

OCaml graph library

License:NOASSERTIONStargazers:0Issues:0Issues:0

ocamlmpi

OCaml/MPI interface

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:3Issues:0

sundials

SUNDIALS is a SUite of Nonlinear and DIfferential/ALgebraic equation Solvers. This is a mirror of current releases, and development will move here eventually. Pull requests are not currently accepted, but bug reports and questions are welcome at sundials-users@llnl.gov. For more info visit https://computation.llnl.gov/projects/sundials

Language:CLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

svgtoquiz

Simple script for generating spaced repetition cards from svg images

Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

weensyos-vmm

Eddie Kohler's WeensyOS from Harvard CS61 problem sets for 2017

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

zelus

A synchronous language with ODEs

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