kipd

kipd's Stars

• huginn/huginn

  Create agents that monitor and act on your behalf. Your agents are standing by!

  Language:Ruby44.1k7322.1k3.8k

• ipython/ipython

  Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.

  Language:Python16.3k7417.4k4.4k

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.5k1825.6k1.5k

• newlinedotco/FlappySwift

  swift implementation of flappy bird. More at fullstackedu.com

  Language:Swift9.7k499272.7k

• bitemyapp/learnhaskell

  Learn Haskell

  Language:Makefile8k26241551

• lbryio/lbry-sdk

  The LBRY SDK for building decentralized, censorship resistant, monetized, digital content apps.

  Language:Python7.2k1701.8k480

• chef/bento

  Packer templates for building minimal Vagrant baseboxes for multiple platforms

  Language:HCL4.3k1935851.1k

• commercialhaskell/stack

  The Haskell Tool Stack

  Language:Haskell4k1014.4k841

• projectkudu/kudu

  Kudu is the engine behind git/hg deployments, WebJobs, and various other features in Azure Web Sites. It can also run outside of Azure.

  Language:C#3.1k1722.3k655

• IHaskell/IHaskell

  A Haskell kernel for the Jupyter project.

  Language:Jupyter Notebook2.6k51788256

• munificent/hauberk

  A web-based roguelike written in Dart.

  Language:Dart2k9752202

• DFHack/dfhack

  Memory hacking library for Dwarf Fortress and a set of tools that use it

  Language:C++1.9k1052.6k481

• mitro-co/mitro

  Repository for all Mitro client & server code

  Language:HTML1.6k76103242

• scratchfoundation/scratch-flash

  Open source version of the Scratch 2.0 project editor. This is the basis for the online and offline versions of Scratch found on the website.

  Language:ActionScript1.3k179935512

• chef-boneyard/vagrant-omnibus

  A Vagrant plugin that ensures the desired version of Chef is installed via the platform-specific Omnibus packages.

  Language:Ruby546687963

• kitchenplan/kitchenplan

  Kitchenplan is a small tool to fully automate the installation and configuration of an OSX workstation (or server for that matter) using Chef. But while doing so manually is not a trivial undertaking, Kitchenplan has abstracted away all the hard parts.

  Language:Ruby3441579237

• realm/summer-of-swift

  An ephemeral contest to learn Swift by doing

  30841163

• rosulek/vamonos

  Vamonos: browser-based algorithm visualization

  Language:HTML13110716

• ghcformacosx/ghc-dot-app

  Tool to build a relocatable GHC for Mac OS X

  Language:JavaScript1199459

• mikecardwell/email-privacy-tester

  The Email Privacy Tester

  92907

• eve-val/evelink

  Python bindings for the EVE API.

  Language:Python91247630

• evewspace/eve-wspace

  Wormhole mapping and corporation management for Eve Online.

  Language:Python863614151

• EVE-Tools/element43

  Market, Trade and Industry Manager for EVE Online

  Language:Go84174925

• charlesflynn/eve-docs

  Generates documentation for Eve APIs

  Language:Python7491412

• totemo/watson

  A Minecraft mod that displays LogBlock, Prism and CoreProtect query results in 3-D.

  Language:Java71205111

• MaStr/mkPirateBox

  .ipk package that turns your mint OpenWRT into a PirateBox

  Language:Shell305282

• prometheas/jira-2-omnifocus

  Chrome extension for sending JIRA tickets to OmniFocus

  Language:JavaScript244218

• Kdecherf/birsh

  virsh replacement in bash

  Language:Shell14201

• J4LP/fwmazon

  Everything is possible with Fwmazon ! The new shopping center for the Eve Online J4LP Allaince

  Language:Python6522

• UIUC-optimization/salbp

  Code for the simple assembly line balancing problem

  Language:C6302