RaineForest/BookLang RaineForest/BookLang

  • Stars
    star
    1
  • Language
    Scheme
  • Created about 8 years ago
  • Updated about 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
RaineForest/BookLang
github

RaineForest

Reviews

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

Repository Details

(Partially) Implements language defined in "Access Control, Security, and Trust: A Logical Approach" by Shiu-Kai Chin and Susan Older

More Repositories

1

ExecA

Assembler/Disassembler/Analyzer
C++
2
star
2

XMLDemo

Demo showing xml result from a database and passing it to a (simple) web app.
PHP
1
star
3

FateExtraSolver

Combat solver for Fate/Extra
Rust
1
star
4

dotfiles

dotfiles for mainly X and i3
Shell
1
star