beschmi

San Bruno

Pinned Repositories

darcs-patchindex
patchindex related repository
Language:Haskell1 3 40
factory-ocaml-bindings
Bindings for the factory library used by Singular to perform polynomial algebra computations
Language:OCaml3 2 00
grpc-java
The Java gRPC implementation. HTTP/2 based RPC
Language:Java0 1 00
lean-ocaml-bindings
Ocaml bindings for the Lean Theorem Prover http://leanprover.github.io/
Language:OCaml3 3 00
oblivious_transfer
oblivious transfer examples
Language:eC0 2 00
grpc-java
The Java gRPC implementation. HTTP/2 based RPC
Language:Java11.4k 520 3.5k3.8k
jasmin
Language for high-assurance and high-speed cryptography
Language:Coq248 11 27151
manual
Tamarin prover manual: source files
Language:JavaScript24 12 3939
tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
Language:Haskell405 24 375129
tamarin-prover.github.io
Source repository for the tamarin-prover.github.io github pages.
Language:HTML5 8 24

beschmi's Repositories

beschmi/factory-ocaml-bindings
Bindings for the factory library used by Singular to perform polynomial algebra computations
Language:OCaml3 2 00
beschmi/lean-ocaml-bindings
Ocaml bindings for the Lean Theorem Prover http://leanprover.github.io/
Language:OCaml3 3 00
beschmi/darcs-patchindex
patchindex related repository
Language:Haskell1 3 40
beschmi/grpc-java
The Java gRPC implementation. HTTP/2 based RPC
Language:Java0 1 00
beschmi/oblivious_transfer
oblivious transfer examples
Language:eC0 2 00