xavierm02

xavierm02's Stars

• polytypic/f-omega-mu

  Fωμ type checker and compiler

  Language:OCaml511

• Matafou/LibHyps

  A Coq library providing tactics to deal with hypothesis

  Language:Coq203

• arielsalminen/responsive-nav.js

  Responsive navigation plugin without library dependencies and with fast touch screen support.

  Language:JavaScript4.1k619

• yallop/higher

  Higher-kinded programming in OCaml

  Language:OCaml18013

• lupuleasa-core/Dota2-TheCore-Config-Engine

  Triple keyboard Dota 2 script layout and a ton more custom stuff [Obsolete with Updates]

  16284

• lamdu/lamdu

  lamdu - towards the next generation IDE

  Language:Haskell1.9k69

• streamlink/streamlink-twitch-gui

  A multi platform Twitch.tv browser for Streamlink

  Language:JavaScript2.7k201

• obsproject/obs-studio

  OBS Studio - Free and open source software for live streaming and screen recording

  Language:C59.1k7.9k

• MLstate/opalang

  The Opa Language for Web Application Development

  Language:OCaml1.2k125

• chriskempson/tomorrow-theme

  Tomorrow Theme

  Language:CSS13.7k3.2k

• manuels/texlive.js

  Compiling LaTeX (TeX live) in your browser

  Language:TeX1.3k139

• nwjs/nw.js

  Call all Node.js modules directly from DOM/WebWorker and enable a new way of writing applications with all Web technologies.

  Language:JavaScript40.3k3.9k

• saebekassebil/teoria

  Javascript taught Music Theory

  Language:JavaScript1.3k114

• seishun/node-steam

  Interface directly with Steam servers from Node.js

  Language:JavaScript1k181

• Andromedans/andromeda

  A proof assistant for general type theories

  Language:OCaml29734

• xavierm02/jsPerfLogin

  Automatically log in on jsPerf.com.

  Language:JavaScript1

• borismus/pointer.js

  [deprecated] Pointer.js consolidates pointer-like input models across browsers and devices.

  Language:JavaScript45329

• dropbox/zxcvbn

  Low-Budget Password Strength Estimation

  Language:CoffeeScript15k934

• theli-ua/pyHoNBot

  Python Heroes of Newerth chatserver bot

  Language:Python1920

• padolsey/parsers-built-with-js

  Trying to build a list of parsers/interpreters/converters built in JavaScript.

  275

• jquery/esprima

  ECMAScript parsing infrastructure for multipurpose analysis

  Language:TypeScript7k786

• restimel/Tutoriels

  Language:HTML2

• incompl/keyDecode

  Let's pretend keycodes never happened.

  Language:JavaScript227

• clausreinke/js-tools

  (repo no longer active) Resources for the js-tools mailing list

  Language:JavaScript524

• xavierm02/underscore

  JavaScript's utility _ belt

  Language:JavaScript1

• cdleary/cdlre

  JS-compatible regular expressions implemented in JS.

  Language:JavaScript181

• pvdz/ZeParser

  My JavaScript parser

  Language:JavaScript5411

• keithamus/jwerty

  ⌨ Awesome handling of keyboard events

  Language:JavaScript1.2k110

• gruntjs/grunt

  Grunt: The JavaScript Task Runner

  Language:JavaScript12.3k1.5k

• xavierm02/es5-shim

  ECMAScript 5 compatibility shims for legacy JavaScript engines

  Language:JavaScript1