nxvipin

nxvipin's Stars

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.8k434

• gunnarmorling/1brc

  1️⃣🐝🏎️ The One Billion Row Challenge -- A fun exploration of how quickly 1B rows from a text file can be aggregated with Java

  Language:Java6.5k1.9k

• emichael/dslabs

  Distributed Systems Labs and Framework

  Language:Java1.3k347

• spickermann/awesome-falsehoods-programmers-believe

  A curated list of falsehoods programmers believe

  691

• UpstandingHackers/hammer

  Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.

  Language:C43140

• GameAnalytics/gascheduler

  Erlang Distributed Scheduler

  Language:Erlang14018

• namin/inc

  an incremental approach to compiler construction

  Language:Scheme916112

• PyMySQL/PyMySQL

  MySQL client library for Python

  Language:Python7.7k1.4k

• rsms/sol

  A sunny little virtual machine

  Language:C52340

• wooga/eredis

  Erlang Redis client

  Language:Erlang628280

• benoitc/hackney

  simple HTTP client in Erlang

  Language:Erlang1.3k427

• antirez/sds

  Simple Dynamic Strings library for C

  Language:C5k486

• nxvipin/rpool

  Rpool is Eredis over PoolBoy

  Language:Erlang1

• sebastiw/edts

  Erlang Development Tool Suite

  Language:Emacs Lisp35482

• everpix/Everpix-Intelligence

  Uncensored Everpix metrics, financials and business data for your perusing

  2.5k536

• VowpalWabbit/vowpal_wabbit

  Vowpal Wabbit is a machine learning system which pushes the frontier of machine learning with techniques such as online, hashing, allreduce, reductions, learning2search, active, and interactive learning.

  Language:C++8.5k1.9k

• cheeaun/life

  Life - a timeline of important events in my life

  Language:HTML2.9k613

• davidcrawford/chronic

  Half profiler, half timer, 100% fun.

  Language:Python39811

• MarkDunne/33-questions

  33 Questions

  36241

• nathanmarz/storm

  Distributed and fault-tolerant realtime computation: stream processing, continuous computation, distributed RPC, and more

  Language:Java8.8k1.7k

• ferd/backoff

  Simple exponential backoffs in Erlang

  Language:Erlang13317

• Parallels/rq-dashboard

  Flask-based web front-end for monitoring RQ queues

  Language:Python1.5k329

• rustyio/sync

  On-the-fly recompiling and reloading in Erlang. Code without friction.

  Language:Erlang751163

• rzezeski/try-try-try

  Ryan Zezeski's "working" blog

  Language:Erlang21647

• cnwzhjs/python.erl

  Python interpreter written in pure Erlang.

  Language:Erlang608

• technohippy/irc-client-for-chrome

  IRC Client for Chrome

  Language:JavaScript92

• nxvipin/PickQuickBlocker

  Making the Internet better :D

  31

• nxvipin/Teammetrics

  Debian Team Activity Metrics

  Language:Python1

• nxvipin/Debexpo

  Generic simple-to-use web-based repository management software for Debian source/binary packages.

  Language:Python1

• nxvipin/debmetrics

  Prototype of Debian Teammetrics project

  Language:JavaScript1