elefthei/agda-permissions elefthei/agda-permissions

  • Stars
    star
    1
  • Language Agda
  • Created about 6 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
elefthei/agda-permissions
github

elefthei

Reviews

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

Repository Details

Agda modeling of RW permissions

More Repositories

1

python-ml-microservice

A simple, extensible, docker container and HTTP server for microservice-ing Python ML code.
Python
15
star
2

krypto

OpenSSL and Erlang crypto bindings in Elixir, a crypto library with ease of use in mind
Elixir
6
star
3

WebTorch

A Deep Learning HTTP server based on nginx
Lua
5
star
4

xumonad-linux

A minimal xubuntu and xmonad based linux distro and live CD
4
star
5

nescala2020-edsl

Three eDSLs talk for NEScala 2020
Jupyter Notebook
4
star
6

rezk

Secret documents, regular languages, zero-knowledge!
Rust
3
star
7

resume

I wrote my resume in LaTeX based on the one by Alessandro Plasmati <https://www.sharelatex.com/templates/cv-or-resume/professional-cv>.
TeX
3
star
8

spartan-zkinterface

Deserialization from zkinterface to Spartan
Rust
2
star
9

ex_keypair

Elixir RSA KeyPair generator module.
Elixir
2
star
10

lua-ml-microservice

A simple, extensible, docker container and HTTP server for microservice-ing Torch/LuaJIT ML code.
Lua
2
star
11

elmentory

Inventory control software written in Elm
Elm
2
star
12

reasoning-about-distributed-systems

Reasoning about distributed systems in Coq
Coq
1
star
13

docker-ngrok-v2

Minimal docker container for ngrok v2, running over HTTP
Shell
1
star
14

circ-haskell

A zkSNARK compiler, a fork of https://github.com/circify/compiler
C
1
star
15

secure-C

Secure Programming in C class slides
TeX
1
star
16

maze-saliency

Salient maps in maze solving
Jupyter Notebook
1
star