8000 pmundkur (Prashanth Mundkur) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View pmundkur's full-sized avatar
49 followers · 7 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2

Organizations

@CTSRD-CHERI @discoproject @SRI-CSL

Block or report pmundkur

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Showing results

SRI-CSL / yices2

The Yices SMT Solver

SMT 405 56 Updated Apr 29, 2025

pmundkur / odisco

Forked from discoproject/odisco

Library for implementing Disco jobs in ocaml.

OCaml 3 1 Updated Jul 17, 2018

discoproject / mochiweb

Forked from pmundkur/mochiweb

MochiWeb is an Erlang library for building lightweight HTTP servers.

Erlang 4 2 Updated Mar 25, 2013

discoproject / discodb

An efficient, immutable, persistent mapping object

C 98 31 Updated Feb 21, 2019

discoproject / discodex

Distributed Indices for Disco

Python 14 5 Updated Jan 10, 2012

pmundkur / ogeoip

Forked from discoproject/ogeoip

OCaml interface to GeoIP databases from MaxMind.

OCaml 1 Updated Oct 8, 2011

discoproject / ogeoip

OCaml interface to GeoIP databases from MaxMind.

OCaml 3 3 Updated Oct 8, 2011

slfritchie / msgdropsim

Simulator for message passing protocols, supporting (really) unfair process scheduling and dropped messages

Erlang 53 2 Updated Jun 4, 2011

discoproject / odisco

Library for implementing Disco jobs in ocaml.

OCaml 23 3 Updated Jul 17, 2018

pmundkur / disco

Forked from discoproject/disco

a Map/Reduce framework for distributed computing

Erlang 5 1 Updated Jan 10, 2014

jflatow / disco

Forked from discoproject/disco

a Map/Reduce framework for distributed computing

Erlang 4 1 Updated Apr 26, 2012

massemanet / eper

Erlang performance and debugging tools

Erlang 437 128 Updated Jul 6, 2018

pmundkur / sonet

Simple asynchronous networking in ocaml.

OCaml 10 Updated Jul 17, 2018

pmundkur / odbus

ocaml dbus implementation (now folded into sonet)

OCaml 1 Updated Jul 22, 2009

pmundkur / fp

ocaml code-generation for binary format parsers/constructors from a specification

OCaml 6 3 Updated Jun 11, 2014

pmundkur / oxml

ocaml sax xml parser

OCaml 1 Updated Jul 14, 2009

discoproject / disco

a Map/Reduce framework for distributed computing

Erlang 1,632 242 Updated Jan 30, 2018
0