jkingdon

jkingdon's Stars

• donnemartin/system-design-primer

  Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

  Language:Python294k6.7k32348.9k

• ibraheemdev/modern-unix

  A collection of modern/faster/saner alternatives to common unix commands.

  31.8k39681797

• onsi/ginkgo

  A Modern Testing Framework for Go

  Language:Go8.6k100876666

• twitchtv/twirp

  A simple RPC framework with protobuf service definitions

  Language:Go7.3k104190328

• grpc-ecosystem/go-grpc-middleware

  Golang gRPC Middlewares: interceptor chaining, auth, logging, retries and more.

  Language:Go6.5k86267711

• elk-zone/elk

  A nimble Mastodon web client

  Language:Vue5.7k571.2k586

• LineageOS/android

  4k31701.7k

• paypal/junodb

  JunoDB is PayPal's home-grown secure, consistent and highly available key-value store providing low, single digit millisecond, latency at any scale.

  Language:Go2.6k2931174

• 1Password/typeshare

  Typeshare is the ultimate tool for synchronizing your type definitions between Rust and other languages for seamless FFI.

  Language:Rust2.5k24100104

• gratipay/gratipay.com

  Here lieth a pioneer in open source sustainability. RIP

  Language:Python1.1k782.9k309

• square/shift

  shift is an application that helps you run schema migrations on MySQL databases

  Language:Ruby738302652

• oslabs-beta/Kafka-Sprout

  :rocket: Web GUI for Kafka Cluster Management

  Language:Java42891024

• AndroidDev-social/DodoForMastodon

  🐘 Mastodon client for Android, iOS and Desktop (JVM)

  Language:Kotlin387163930

• assistunion/xml-stream

  XML stream parser based on Expat. Made for Node.

  Language:JavaScript3191258111

• metamath/set.mm

  Metamath source file for logic and set theory

  Language:HTML2742140293

• martinescardo/TypeTopology

  Logical manifestations of topological concepts, and other things, via the univalent point of view.

  Language:Agda247183743

• metamath/metamath-exe

  Metamath program - source code for the Metamath executable

  Language:C83105328

• metamath/metamath-book

  Source of metamath book

  Language:TeX47139019

• adamantoise/robocrosswords

  Robo Crosswords app for Android

  Language:Java3871319

• expln/metamath-lamp

  Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath that does not require installation (just run it directly using your web browser).

  Language:ReScript1621255

• ahl389/rainbowify

  To turn all your HTML text into rainbows 🌈

  Language:JavaScript11100

• acorrenson/metamatix

  A verified implementation of a metamath proof checker

  Language:Coq9201

• sfbrigade/sf-openreferral-data

  Archive of data for the SF OpenReferral project

  Language:Python85965

• westonganger/pairer

  Pairer is Rails app/engine to Easily rotate and keep track of working pairs

  Language:Ruby526

• jkingdon/hilbert

  Script mathematical proofs from ruby

  Language:Ruby3300

• infews/biz_ruby

  242

• jasonfb/common_core_js

  Renamed & Ported. Please find the new, Turbo-Rails implementation at this Gem's new home, Hot Glue.

  Language:Ruby2300

• jkingdon/factory_girl

  Fixture replacement for focused and readable tests.

  Language:Ruby2200

• jaresty/pairist

  Language:TypeScript1100

• jkingdon/jhilbert

  JHilbert is a a verifier for collaborative theorem proving

  Language:Java1200