Beast code in Giters

Prashanth Mundkur's repositories

sonet

Simple asynchronous networking in ocaml.

Language:OCamlNOASSERTION10 7 1

odisco

Library for implementing Disco jobs in ocaml.

Language:OCamlBSD-3-Clause3 20

CompCert

The CompCert C verified compiler

Language:CoqNOASSERTION1 20

opam-repository

Package descriptions for OPAM

Language:OCamlCC0-1.01 20

Bluespec_BSV_Formal_Semantics

Formal semantics of BSV (Bluespec SystemVerilog), given as a Haskell Program and accompanying document

Language:Haskell020

cherios

CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities

Language:C000

efi-install-guide-source

The MediaWiki source pages for "Sakaki's EFI Install Guide" (as hosted on the Gentoo wiki)

Language:Shell020

genode

Genode OS Framework

Language:C++NOASSERTION020

genode-manual

Reference manual for the Genode OS Framework

Language:TclNOASSERTION020

genode-world

Collection of community-maintained components for Genode

Language:C++NOASSERTION020

ggg

Generalized Generative Grammar

010

goParseBSV

A standalone parser for BSV (Bluespec SystemVerilog) written in Go

Language:GoMIT000

libssh

Language:CNOASSERTION020

lp_solve

Mirror of lp_solve (http://lpsolve.sourceforge.net/5.5/). Please file a bug if code is out of date.

Language:C000

mcb

Mathematical Components (the Book)

Language:TeX020

ocaml

The core OCaml system: compilers, runtime system, base libraries

Language:OCamlNOASSERTION020

pnp

Lecture notes for a short course on proving/programming in Coq via SSReflect.

Language:CoqBSD-2-Clause020

polyml

Poly/ML

Language:Standard MLLGPL-2.1020

riscv-compliance

Language:CBSD-3-Clause020

riscv-fesvr

RISC-V Frontend Server

Language:CNOASSERTION020

riscv-gnu-toolchain

GNU toolchain for RISC-V, including GCC 5.2.0

Language:C020

riscv-isa-manual

RISC-V Instruction Set Manual

Language:TeXCC-BY-4.0020

riscv-isa-sim

RISC-V Functional ISA Simulator

Language:CNOASSERTION020

riscv-opcodes

RISC-V Opcodes

Language:PythonNOASSERTION020

riscv-pk

RISC-V Proxy Kernel

Language:CNOASSERTION020

riscv-tests

Language:CNOASSERTION020

rustc-dev-guide

A guide to how rustc works and how to contribute to it.

Language:HTMLApache-2.0000

sail

Sail architecture definition language

Language:Standard MLNOASSERTION020

sail-riscv

Sail RISC-V model

Language:CoqNOASSERTION010

TestRIG

Testing processors with Random Instruction Generation

Language:Haskell020