tbrk Goto Github PK
Name: Timothy Bourke
Type: User
Company: Inria
Location: Paris
Blog: http://www.tbrk.org
Timothy Bourke's Projects
artitoc
Simple generation of LaTeX table of contents and author index for proceedings
bitv
OCaml bit vector library
bootstrap
The most popular HTML, CSS, and JavaScript framework for developing responsive, mobile first projects on the web.
checklistings
LaTeX package for passing verbatim contents through a compiler and reincorporating the resulting output
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.
coq-dpdgraph
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
emsoft
Metadata and links for the International Conference on Embedded Software
fwrapdata
Stream access to CFMutableData
jsoo-dragdiv
Very basic windowing system for js_of_ocaml-based pages.
jsoo-svg-pan-zoom
js_of_ocaml interface to the svg-pan-zoom library
jsoo-viz
Low-level js_of_ocaml interface to vis.js
kind2
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
lbdb
The Little Brother's Database
m16c-flash
M16C flash tool
mambo-opensource
Open Source Software used in Parrot Mambo
mnemo-alternative_zero
Mnemosyne 1.1 plugin for remapping the key that assigns zero
mnemo-cardstatbar
Mnemosyne 1.1 plugin for showing card statistics in the status bar
mnemo-cat_colors
Mnemosyne 1.1 plugin for setting a background color per category
mnemo-fast_format
Fast Format Plugin for Mnemosyne 1.1+
mnemo-gogorender
Mnemosyne plugin for rendering segments of text as image files
mnemo-gogostyle
Mnemosyne plugin for applying regular expression substitutions during Mnemogogo export
mnemo-qacolor
Mnemosyne 1.1 plugin that adds a color tag
mnemo-schedbar
Mnemosyne 1.1 plugin to show upcoming schedules in the status bar
mnemododo
Obsolete Android app for the Mnemosyne spaced repetition program
mnemogogo
Obsolete Mnemosyne plugin for reviewing cards on mobile devices
mnemojojo
Obsolete J2ME App for reviewing Mnemosyne cards on low-powered mobile phones
mpri-sync-bdd
OCaml Toplevel with BDDs for MPRI Parallélisme synchrone
muttlight
Search and preview for MailDir files on MacOS
neos-server-ocaml-client
An OCaml client for NEOS server
ocaml
The core OCaml system: compilers, runtime system, base libraries
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.