tbrk Goto Github PK
Name: Timothy Bourke
Type: User
Company: Inria
Location: Paris
Blog: http://www.tbrk.org
Name: Timothy Bourke
Type: User
Company: Inria
Location: Paris
Blog: http://www.tbrk.org
Simple generation of LaTeX table of contents and author index for proceedings
OCaml bit vector library
The most popular HTML, CSS, and JavaScript framework for developing responsive, mobile first projects on the web.
LaTeX package for passing verbatim contents through a compiler and reincorporating the resulting output
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.
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
Metadata and links for the International Conference on Embedded Software
Stream access to CFMutableData
Very basic windowing system for js_of_ocaml-based pages.
js_of_ocaml interface to the svg-pan-zoom library
Low-level js_of_ocaml interface to vis.js
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
The Little Brother's Database
M16C flash tool
Open Source Software used in Parrot Mambo
Mnemosyne 1.1 plugin for remapping the key that assigns zero
Mnemosyne 1.1 plugin for showing card statistics in the status bar
Mnemosyne 1.1 plugin for setting a background color per category
Fast Format Plugin for Mnemosyne 1.1+
Mnemosyne plugin for rendering segments of text as image files
Mnemosyne plugin for applying regular expression substitutions during Mnemogogo export
Mnemosyne 1.1 plugin that adds a color tag
Mnemosyne 1.1 plugin to show upcoming schedules in the status bar
Obsolete Android app for the Mnemosyne spaced repetition program
Obsolete Mnemosyne plugin for reviewing cards on mobile devices
Obsolete J2ME App for reviewing Mnemosyne cards on low-powered mobile phones
OCaml Toplevel with BDDs for MPRI Parallélisme synchrone
Search and preview for MailDir files on MacOS
An OCaml client for NEOS server
The core OCaml system: compilers, runtime system, base libraries
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.