tbrk Goto Github PK
Name: Timothy Bourke
Type: User
Company: Inria
Location: Paris
Blog: http://www.tbrk.org
Timothy Bourke's Projects
ocaml-bdd
A simple BDD library for OCaml
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.
ocaml-orgmode
Rough-and-ready processing of orgmode headlines with dates
ocamlgraph
OCaml graph library
ocamlgraph-johnson-cycles
Johnson's algorithm to calculate all cycles in a graph
ocamlmpi
OCaml/MPI interface
ocplib-jsutils
Some useful libraries to work with `js_of_ocaml`
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
otl2draft
Convert outlines written with The Vim Outliner into LaTeX drafts (or manipulate with Standard ML)
otlmarks
Simplistic treatment of bookmarks in vim outliner
paper-supplement-ocaml-performance
Supplementary material for Nmag review paper, focussed on performance of OCaml code for numerics
snespp
FreeBSD parallel port interface for Super Nintendo controllers
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 [email protected]. For more info visit https://computation.llnl.gov/projects/sundials
svgtoquiz
Simple script for generating spaced repetition cards from svg images
tbrk.github.io
GitHub Pages for tbrk
treeplate
XSLT scripts for generating a static web site
urpal
Urpal is your pal for Uppaal.
vst
Verified Software Toolchain
weensyos-vmm
Eddie Kohler's WeensyOS from Harvard CS61 problem sets for 2017
zelus
A synchronous language with ODEs
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
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.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.