momohatt/seccampDB momohatt/seccampDB

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    C++
  • Created over 5 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
momohatt/seccampDB
github

momohatt

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

concurrent transaction control system from scratch

More Repositories

1

hscaml

yet another toy OCaml interpreter in Haskell
Haskell
13
star
2

min-caml-jvm

A tiny OCaml compiler with JVM backend 🐫☕️
Jasmin
9
star
3

graten

"Gradual Tensor Shape Checking" (ESOP 23)
Haskell
8
star
4

egison-trs

Knuth-Bendix completion in Egison (and Haskell). 技術書典7
Haskell
6
star
5

jasmin-example

Collection of learning resources for Jasmin (JVM assembler)
Jasmin
5
star
6

egison-sandbox

Pieces of code written in Egison
4
star
7

cash

a toy shell written in OCaml 🐫🐚
OCaml
2
star
8

buchberger.egi

Buchberger's algorithm in Egison
2
star
9

indent-parser-example

Haskell
1
star