emccorson

emccorson's Stars

• gorhill/uBlock

  uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.

  Language:JavaScript48.9k9383.4k3.2k

• bigskysoftware/htmx

  </> htmx - high power tools for HTML

  Language:JavaScript42.6k2201.4k1.4k

• NodeBB/NodeBB

  Node.js based forum software built for the modern web

  Language:JavaScript14.3k3668.1k2.8k

• ankidroid/Anki-Android

  AnkiDroid: Anki flashcards on Android. Your secret trick to achieve superhuman information retention.

  Language:Kotlin8.9k1598.1k2.3k

• OnsenUI/OnsenUI

  Mobile app development framework and SDK using HTML5 and JavaScript. Create beautiful and performant cross-platform mobile apps. Based on Web Components, and provides bindings for Angular 1, 2, React and Vue.js.

  Language:JavaScript8.8k2971.8k1k

• AbsInt/CompCert

  The CompCert formally-verified C compiler

  Language:Coq1.9k63286231

• ing-bank/lion

  Fundamental white label web component features for your design system.

  Language:JavaScript1.8k32564299

• mackstann/tinywm

  The tiniest window manager.

  Language:C1.5k467149

• FooSoft/yomichan

  Japanese pop-up dictionary extension for Chrome and Firefox.

  Language:JavaScript1.1k21800243

• geohot/twitchslam

  A toy implementation of monocular SLAM written while livestreaming

  Language:Python9784911209

• webcomponents/custom-elements

  A polyfill for HTML Custom Elements v1

  Language:HTML457348394

• Podcastindex-org/podcast-namespace

  A wholistic rss namespace for podcasting

  Language:HTML39547273116

• stedolan/malfunction

  Malfunctional Programming

  Language:OCaml343263220

• dimitropoulos/react-ui-roundup

  A one-stop-shop for comparing the features of all the best React frameworks. Useful for designers and engineers alike!

  Language:TypeScript26961511

• thomasboyt/manygolf

  massively multiplayer golfing

  Language:TypeScript12872518

• awalterschulze/category-theory-for-programmers-challenges

  Challenges from Category Theory for Programmers

  Language:Haskell1225016

• anoma/namada-interface

  Language:TypeScript9019669119

• stedolan/idris-malfunction

  Experimental Malfunction backend for Idris

  Language:Haskell811536

• jparise/gmail-fixed-font

  Use your browser's monospace font for message body text in Gmail

  Language:JavaScript631088

• jonascarpay/template-haskell

  batteries-included nix-based haskell project template

  Language:Shell6121611

• svanderburg/nijs

  NiJS: An internal DSL for Nix in JavaScript

  Language:JavaScript56864

• stefan-hoeck/idris2-dom

  Javascript DOM bindings for Idris2

  Language:Idris51598

• monaca/monaca-cli

  Command line version of Monaca

  Language:JavaScript44328914

• anoma/geb

  A Categorical View of Computation

  Language:Idris28204310

• mattpolzin/harmony

  Harmonize with coworkers around GitHub reviewing.

  Language:Idris204520

• ziman/idris-benchmarks

  Some benchmarks for Idris

  Language:Idris12402

• steveblue/rollup-plugin-inline-postcss

  Rollup plugin that transforms inline styling with PostCSS

  Language:JavaScript6280

• narutaro/shoppers

  Shopping cart tutorial with Vue.js and Onsen UI

  Language:HTML2300

• rpeszek/idris-chain

  Dependently typed blockchain experiments in Idris

  Language:Idris130

• Salman8520/subs-to-dialogue

  Extracts the dialogue from ASS and SRT subtitle files so you can use them in browser with Yomichan or whatever

  1