Pinned Repositories
CompCert
The CompCert C verified compiler
disco
a Map/Reduce framework for distributed computing
flowcaml
Flowcaml compiler
fp
ocaml code-generation for binary format parsers/constructors from a specification
libcrm114
C library version of CRM114, and a Python binding
mochiweb
MochiWeb is an Erlang library for building lightweight HTTP servers.
odbus
ocaml dbus implementation (now folded into sonet)
odisco
Library for implementing Disco jobs in ocaml.
ogeoip
OCaml interface to GeoIP databases from MaxMind.
sonet
Simple asynchronous networking in ocaml.
pmundkur's Repositories
pmundkur/sonet
Simple asynchronous networking in ocaml.
pmundkur/odisco
Library for implementing Disco jobs in ocaml.
pmundkur/CompCert
The CompCert C verified compiler
pmundkur/opam-repository
Package descriptions for OPAM
pmundkur/Bluespec_BSV_Formal_Semantics
Formal semantics of BSV (Bluespec SystemVerilog), given as a Haskell Program and accompanying document
pmundkur/cherios
CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
pmundkur/efi-install-guide-source
The MediaWiki source pages for "Sakaki's EFI Install Guide" (as hosted on the Gentoo wiki)
pmundkur/genode
Genode OS Framework
pmundkur/genode-manual
Reference manual for the Genode OS Framework
pmundkur/genode-world
Collection of community-maintained components for Genode
pmundkur/ggg
Generalized Generative Grammar
pmundkur/goParseBSV
A standalone parser for BSV (Bluespec SystemVerilog) written in Go
pmundkur/libssh
pmundkur/lp_solve
Mirror of lp_solve (http://lpsolve.sourceforge.net/5.5/). Please file a bug if code is out of date.
pmundkur/mcb
Mathematical Components (the Book)
pmundkur/ocaml
The core OCaml system: compilers, runtime system, base libraries
pmundkur/pnp
Lecture notes for a short course on proving/programming in Coq via SSReflect.
pmundkur/polyml
Poly/ML
pmundkur/riscv-compliance
pmundkur/riscv-fesvr
RISC-V Frontend Server
pmundkur/riscv-gnu-toolchain
GNU toolchain for RISC-V, including GCC 5.2.0
pmundkur/riscv-isa-manual
RISC-V Instruction Set Manual
pmundkur/riscv-isa-sim
RISC-V Functional ISA Simulator
pmundkur/riscv-opcodes
RISC-V Opcodes
pmundkur/riscv-pk
RISC-V Proxy Kernel
pmundkur/riscv-tests
pmundkur/rustc-dev-guide
A guide to how rustc works and how to contribute to it.
pmundkur/sail
Sail architecture definition language
pmundkur/sail-riscv
Sail RISC-V model
pmundkur/TestRIG
Testing processors with Random Instruction Generation