Pinned Repositories
sundialsml
An OCaml interface to the Sundials suite of numeric solvers.
velus
A Lustre compiler in Coq
checklistings
LaTeX package for passing verbatim contents through a compiler and reincorporating the resulting output
emsoft
Metadata and links for the International Conference on Embedded Software
jsoo-viz
Low-level js_of_ocaml interface to vis.js
muttlight
Search and preview for MailDir files on MacOS
ocamlgraph-johnson-cycles
Johnson's algorithm to calculate all cycles in a graph
tbrk.github.io
GitHub Pages for tbrk
treeplate
XSLT scripts for generating a static web site
urpal
Urpal is your pal for Uppaal.
tbrk's Repositories
tbrk/jsoo-viz
Low-level js_of_ocaml interface to vis.js
tbrk/ocamlgraph-johnson-cycles
Johnson's algorithm to calculate all cycles in a graph
tbrk/tbrk.github.io
GitHub Pages for tbrk
tbrk/emsoft
Metadata and links for the International Conference on Embedded Software
tbrk/jsoo-dragdiv
Very basic windowing system for js_of_ocaml-based pages.
tbrk/jsoo-svg-pan-zoom
js_of_ocaml interface to the svg-pan-zoom library
tbrk/mpri-sync-bdd
OCaml Toplevel with BDDs for MPRI Parallélisme synchrone
tbrk/neos-server-ocaml-client
An OCaml client for NEOS server
tbrk/ocaml-orgmode
Rough-and-ready processing of orgmode headlines with dates
tbrk/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
tbrk/otlmarks
Simplistic treatment of bookmarks in vim outliner
tbrk/artitoc
Simple generation of LaTeX table of contents and author index for proceedings
tbrk/bitv
OCaml bit vector library
tbrk/bootstrap
The most popular HTML, CSS, and JavaScript framework for developing responsive, mobile first projects on the web.
tbrk/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.
tbrk/coq-dpdgraph
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
tbrk/mambo-opensource
Open Source Software used in Parrot Mambo
tbrk/mnemo-cat_colors
Mnemosyne 1.1 plugin for setting a background color per category
tbrk/mnemododo
Obsolete Android app for the Mnemosyne spaced repetition program
tbrk/mnemogogo
Obsolete Mnemosyne plugin for reviewing cards on mobile devices
tbrk/mnemojojo
Obsolete J2ME App for reviewing Mnemosyne cards on low-powered mobile phones
tbrk/ocaml
The core OCaml system: compilers, runtime system, base libraries
tbrk/ocaml-bdd
A simple BDD library for OCaml
tbrk/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.
tbrk/ocamlgraph
OCaml graph library
tbrk/ocamlmpi
OCaml/MPI interface
tbrk/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
tbrk/svgtoquiz
Simple script for generating spaced repetition cards from svg images
tbrk/weensyos-vmm
Eddie Kohler's WeensyOS from Harvard CS61 problem sets for 2017
tbrk/zelus
A synchronous language with ODEs