CertiKOS / compcert.old

Related projects ⓘ

Alternatives and complementary repositories for compcert.old

• rumpkernel / rumpctrl
  Control and diagnostic applications for rump kernels
  ☆36Updated 7 years ago
• zerovm / zrt
  ZeroVM Run-Time environment
  ☆66Updated 9 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago
• epfl-labos / wren
  Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store
  ☆8Updated 6 years ago
• mfragkoulis / PiCO_QL
  SQL query interface to C++ collections and C data structures. Also configurable as a loadable Linux kernel module and an extension to Val…
  ☆14Updated 6 years ago
• geocar / qlua
  KDB bindings for lua
  ☆27Updated 4 years ago
• bryankate / pequod
  A distributed key-value cache with builtin materialized views.
  ☆27Updated 10 years ago
• mirage / mirage-platform
  Archived, see https://github.com/mirage/mirage/issues/1159 for details. Old: Core platform libraries for Mirage (UNIX and Xen). This prov…
  ☆77Updated 4 years ago
• jemc / pony-capnp
  Cap’n Proto plugin for generating serializable Pony classes. - 'n
  ☆19Updated 6 years ago
• TCGV / ConsensusKit
  Implementation of popular consensus protocols
  ☆22Updated 4 years ago
• sysml / mini-os
  Minimalistic Operating System for Xen
  ☆65Updated 2 years ago
• GaloisInc / mistral
  An interpreter for the Mistral language.
  ☆19Updated 7 years ago
• rongarret / clmm
  An exercise in cryptographic minimlism
  ☆24Updated 9 years ago
• visq / llvm-regexp
  Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM
  ☆14Updated 14 years ago
• shimmercat / second-transfer
  A library for creating HTTP/2 servers in Haskell.
  ☆9Updated 7 years ago
• orlandohill / peg-left-recursion
  An idea to handle left-recursion in Parsing Expression Grammars (PEGs)
  ☆36Updated 14 years ago
• ctelfer / onics
  Open Network Inspection Command Suite
  ☆10Updated last year
• mirage / mirage-decks
  These are the MirageOS slide decks, written as a self-hosting unikernel
  ☆13Updated 7 years ago
• kogir / rark
  a Racket language inspired by ARc, by Kogir
  ☆29Updated 11 years ago
• gergoerdi / alef
  Alef Lazily Evaluates Functions
  ☆31Updated 11 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆43Updated 9 years ago
• flavioc / meld
  Meld virtual machine.
  ☆29Updated 9 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 8 years ago
• incrediblesound / Graph-Reply
  A graph based REPL that saves to and loads from disk
  ☆44Updated 9 years ago
• facebookarchive / Rseq
  Restartable Sequences: a userspace implementation of cheap per-cpu atomic operations
  ☆33Updated 5 years ago
• fpaxos / fpaxos-tlaplus
  TLA+ specification of Flexible Paxos
  ☆38Updated last year
• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 2 years ago
• jstepien / skrot
  Efficient and customisable compression of short strings
  ☆49Updated 8 years ago