Coder Social home page Coder Social logo

ghuntley's personal monorepo Views LinkedIn

//ops/dns: terraform apply Automated dependency updates //ops/ci: build

This repository is the monorepo for my personal software.

Everything in here is built using Nix with an automatic attribute-set layout that mirrors the filesystem layout of the repository (this might feel familiar to users of Bazel).

If you've ended up here and have no idea who I am, feel free to follow me on Twitter.

Contributing

If you'd like to contribute to any of the tools in here, please check out the contribution guidelines

Geoffrey Huntley's Projects

sf icon sf

Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus

sialertview.xamarin icon sialertview.xamarin

A C#/Mono Xamarin.iOS port of SIAlertView by Sumi Interactive. A nice custom UIAlertView.

sick-beard icon sick-beard

PVR & episode guide that downloads and manages all your TV shows

sicp-kindle icon sicp-kindle

Structure and Interpretation of Computer Programs, 2nd Edition, by Harold Abelson and Gerald Jay Sussman with Julie Sussman, The MIT Press. formatted and built for mobi/kindle

side-waffle icon side-waffle

A collection of Item- and Project Templates for Visual Studio

siminformation icon siminformation

SimInformation is a cross-platform Xamarin/UWP library that provides a way to access information on your SIM card.

simpleapi icon simpleapi

A simple API-framework to provide an easy to use, consistent and portable client/server-architecture (standalone and also for django, Flask, AppEngine and all WSGI-compatible implementations like gunicorn).

site icon site

The Maintainerati website.

slidingpanels.touch icon slidingpanels.touch

Monotouch implementation of sliding panels, much like the facebook left and right panels.

snowflake icon snowflake

Snowflake is a network service for generating unique ID numbers at high scale with some simple guarantees.

so-slow icon so-slow

Stack Overflow creative commons database importer

soddi icon soddi

StackOverflow Data Dump Importer. Forked from https://bitbucket.org/bitpusher/soddi/ because abandonware is sad.

solarized icon solarized

precision color scheme for multiple applications (terminal, vim, etc.) with both dark/light modes

splat icon splat

A library to make things cross-platform that should be

sproutcore icon sproutcore

JavaScript Application Framework - JS library only

sqlitepcl.raw icon sqlitepcl.raw

A Portable Class Library (PCL) for low-level (raw) access to SQLite

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo 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.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.