thehogfather

thehogfather's Stars

• freeCodeCamp/freeCodeCamp

  freeCodeCamp.org's open-source codebase and curriculum. Learn to code for free.

  Language:TypeScript405k38k

• electrode-io/electrode

  Web applications with node.js and React

  Language:HTML2.1k300

• joncrlsn/pgdiff

  Compares the PostgreSQL schema between two databases and generates SQL statements that can be run manually against the second database to make their schemas match.

  Language:Go43761

• jlevy/the-art-of-command-line

  Master the command line, in one page

  153k14.6k

• nylas/nylas-mail

  :love_letter: An extensible desktop mail app built on the modern web. Forks welcome!

  Language:JavaScript24.8k1.4k

• reduxjs/redux

  A JS library for predictable global state management

  Language:TypeScript60.9k15.3k

• facebook/flow

  Adds static typing to JavaScript to improve developer productivity and code quality.

  Language:OCaml22.1k1.9k

• brikis98/docker-osx-dev

  A productive development environment with Docker on OS X

  Language:Shell1.4k106

• minimaxir/big-list-of-naughty-strings

  The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.

  Language:Python46.2k2.1k

• atom/atom

  :atom: The hackable text editor

  Language:JavaScript60.2k17.4k

• codemirror/codemirror5

  In-browser code editor (version 5, legacy)

  Language:JavaScript26.8k5k

• koajs/koa

  Expressive middleware for node.js using ES2017 async functions

  Language:JavaScript35.2k3.2k

• cytoscape/cytoscape.js

  Graph theory (network) library for visualisation and analysis

  Language:JavaScript10.1k1.6k

• appium/appium

  Cross-platform automation framework for all kinds of apps, built on top of the W3C WebDriver protocol

  Language:JavaScript18.9k6.1k

• hugs/tapsterbot

  Mobile device automation robot

  Language:OpenSCAD300101

• syncthing/syncthing

  Open Source Continuous File Synchronization

  Language:Go65k4.3k

• jaredhanson/passport

  Simple, unobtrusive authentication for Node.js.

  Language:JavaScript22.9k1.2k

• angular/material

  Material design for AngularJS

  Language:JavaScript16.5k3.4k

• UKRSE/UKRSE.github.io

  Old website for the UK Society of Research Software Engineers - not the source for the live site at rse.ac.uk. To suggest changes to that, contact info@rse.ac.uk.

  Language:HTML1242

• fontello/fontello

  Iconic fonts scissors

  Language:JavaScript7k775

• thehogfather/brackets-custom-region-code-folding

  Custom region code folding in brackets defined within comments

  Language:JavaScript104

• mdbootstrap/mdb-ui-kit

  Bootstrap 5 & Material Design UI KIT

  Language:SCSS24.2k3.5k

• ionic-team/ionic-cli

  The Ionic command-line interface

  Language:TypeScript2k655

• facebook/react

  The library for web and native user interfaces.

  Language:JavaScript229k46.8k

• ionic-team/ionic-framework

  A powerful cross-platform UI toolkit for building native-quality iOS, Android, and Progressive Web Apps with HTML, CSS, and JavaScript.

  Language:TypeScript51k13.5k

• stefanpenner/es6-promise

  A polyfill for ES6-style Promises

  Language:JavaScript7.3k594

• thehogfather/ProofExplorer

  Interactive visualisations of proof trees in PVS

  Language:JavaScript21

• d3/d3

  Bring data to life with SVG, Canvas and HTML. :bar_chart::chart_with_upwards_trend::tada:

  Language:Shell109k22.9k

• adobe/brackets

  An open source code editor for the web, written in JavaScript, HTML and CSS.

  Language:JavaScript33.3k7.6k

• FortAwesome/Font-Awesome

  The iconic SVG, font, and CSS toolkit

  Language:JavaScript73.7k12.2k