proof-ninja/BIRDS Fork of dangtv/BIRDS

Bidirectional transformation for Relational view update Datalog-based Strategies

Language: OCaml - Size: 5.15 MB - Last synced: 2 days ago - Pushed: 3 days ago - Stars: 1 - Forks: 2

proof-ninja/ocaml-blake3

Language: OCaml - Size: 1.68 MB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 6 - Forks: 2

proof-ninja/zaif-ocaml

Language: OCaml - Size: 9.77 KB - Last synced: 29 days ago - Pushed: 29 days ago - Stars: 0 - Forks: 0

proof-ninja/bitflyer-ocaml

Language: OCaml - Size: 257 KB - Last synced: 29 days ago - Pushed: 29 days ago - Stars: 0 - Forks: 0

proof-ninja/analysis Fork of math-comp/analysis

Mathematical Components compliant Analysis Library

Language: Coq - Size: 7.14 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

proof-ninja/ocaml2evm 📦

Size: 1000 Bytes - Last synced: 3 months ago - Pushed: 7 months ago - Stars: 2 - Forks: 0

proof-ninja/coq-solidity-access-control

Language: Coq - Size: 6.84 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 1 - Forks: 0

proof-ninja/coqban

Language: TypeScript - Size: 70 MB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 6 - Forks: 0

proof-ninja/merckletree_coq

Formal Verification of Merckle Proof algorithm in Coq

Language: Coq - Size: 33.2 KB - Last synced: 7 months ago - Pushed: over 4 years ago - Stars: 3 - Forks: 0

proof-ninja/elm-wallet-app

Language: Elm - Size: 6.84 KB - Last synced: 9 months ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

proof-ninja/scala-slackjson2csv

Language: Scala - Size: 1.95 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

proof-ninja/akka-http-hello

Language: Batchfile - Size: 1.14 MB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

proof-ninja/proofninja_website

The source code of proof ninja website

Language: Coq - Size: 96.7 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 0

proof-ninja/akka-artery-remote-sample

Language: Scala - Size: 1.95 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 1 - Forks: 0

proof-ninja/scala-text-repo

Size: 2.93 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 1

proof-ninja/infotheo Fork of affeldt-aist/infotheo

A Coq formalization of information theory and linear error-correcting codes

Language: Coq - Size: 3.62 MB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 0

proof-ninja/math-comp Fork of math-comp/math-comp

Mathematical Components

Language: Coq - Size: 10.5 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

proof-ninja/keibai981jp

Language: OCaml - Size: 3.91 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

proof-ninja/g-shock

Size: 73.2 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 1

proof-ninja/coqpad

証明検索No.1／定理の証明載せるなら コックパッド

Language: TypeScript - Size: 217 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 8 - Forks: 0

proof-ninja/clang2cabs

Language: OCaml - Size: 8.69 MB - Last synced: 6 months ago - Pushed: over 1 year ago - Stars: 1 - Forks: 1

proof-ninja/EmployeeHandbook Fork of DenkiYagi/EmployeeHandbook

株式会社proof ninja 就業規則

Size: 90.8 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

proof-ninja/infer Fork of facebook/infer

A static analyzer for Java, C, C++, and Objective-C

Size: 140 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

proof-ninja/docker-BIRDS

Dockerfile of BIRDS

Language: Dockerfile - Size: 8.79 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 2 - Forks: 0

proof-ninja/coq-scaml

SCaml Smart Contract Environment for Coq Provers

Language: Coq - Size: 18.6 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 3 - Forks: 0

proof-ninja/coq-result

The Result Type for Coq

Language: Coq - Size: 5.86 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 3 - Forks: 0

proof-ninja/mathcomp-install Fork of affeldt-aist/mathcomp-install

Coq/SSReflect/MathComp installation instructions in Japanese

Size: 158 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

proof-ninja/ocaml-d3 Fork of camlspotter/ocaml-d3

OCaml bindings for D3.js

Size: 98.6 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

proof-ninja/coq-art Fork of coq-community/coq-art

Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]

Size: 410 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

proof-ninja/norimaki

Language: OCaml - Size: 507 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 3 - Forks: 0

proof-ninja/docker-tezos-client

Language: Dockerfile - Size: 0 Bytes - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

proof-ninja/ovm_contracts_scaml

OVM implementation in SCaml on Tezos

Language: OCaml - Size: 15.6 KB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 1 - Forks: 1

proof-ninja/scaml-docker

Language: Dockerfile - Size: 0 Bytes - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 1