Repositories list

• analysis

  Public
  Mathematical Components compliant Analysis Library

  Rocq Prover

  •

  Other

  •63•0•0•0•Updated Nov 26, 2025Nov 26, 2025

• rocq-scurve

  Public
  Rocq Prover

  •1•0•3•1•Updated Nov 22, 2025Nov 22, 2025

• min_inferara

  Public
  A minimum imprementation of Inferara

  OCaml

  •0•0•0•0•Updated Oct 24, 2025Oct 24, 2025

• rocq-lsp-client

  Public
  OCaml

  •0•0•0•0•Updated Oct 22, 2025Oct 22, 2025

• ocaml_photo_modifier

  Public
  OCaml

  •2•0•0•1•Updated Oct 7, 2025Oct 7, 2025

• proofninja_website

  Public
  The source code of proof ninja website

  Rocq Prover

  •0•0•0•0•Updated Sep 9, 2025Sep 9, 2025

• BIRDS

  Public
  Bidirectional transformation for Relational view update Datalog-based Strategies

  OCaml

  •

  GNU Lesser General Public License v2.1

  •10•1•2•2•Updated Sep 3, 2025Sep 3, 2025

• docker-mathcomp-analysis

  Public
  Shell

  •0•0•0•0•Updated Aug 6, 2025Aug 6, 2025

• spark

  Public
  Apache Spark - A unified analytics engine for large-scale data processing

  Scala

  •

  Apache License 2.0

  •29k•0•0•4•Updated May 14, 2025May 14, 2025

• spark_sample

  Public
  Scala

  •1•0•0•1•Updated Mar 22, 2025Mar 22, 2025

• coq-zelda

  Public
  Coq

  •0•0•0•0•Updated Mar 13, 2025Mar 13, 2025

• bitflyer-ocaml

  Public
  OCaml

  •0•0•0•0•Updated Jan 30, 2025Jan 30, 2025

• ocaml2evm

  Public
  OCaml

  •1•2•0•3•Updated Jan 9, 2025Jan 9, 2025

• albhed

  Public
  OCaml

  •0•0•0•0•Updated Nov 2, 2024Nov 2, 2024

• docker-verify-BIRDS

  Public
  BIRDS の verification 処理を開発するための docker 環境

  Dockerfile

  •0•0•0•0•Updated Oct 30, 2024Oct 30, 2024

• coq-hello

  Public
  Coq

  •0•0•0•0•Updated Jun 12, 2024Jun 12, 2024

• zaif-ocaml

  Public
  OCaml

  •0•0•0•0•Updated Apr 18, 2024Apr 18, 2024

• CompCert

  Public
  The CompCert formally-verified C compiler

  Coq

  •

  Other

  •241•0•0•0•Updated Feb 14, 2024Feb 14, 2024

• infotheo

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

  Coq

  •

  GNU Lesser General Public License v2.1

  •17•0•0•0•Updated Nov 20, 2023Nov 20, 2023

• coq-solidity-access-control

  Public
  Coq

  •0•1•0•0•Updated Nov 13, 2023Nov 13, 2023

• coqban

  Public
  TypeScript

  •0•8•1•0•Updated Oct 31, 2023Oct 31, 2023

• scala-slackjson2csv

  Public
  Scala

  •0•0•0•0•Updated May 2, 2023May 2, 2023

• scala-text-repo

  Public
  Scala

  •2•3•0•0•Updated Mar 13, 2023Mar 13, 2023

• akka-http-hello

  Public
  Batchfile

  •0•0•0•0•Updated Mar 4, 2023Mar 4, 2023

• akka-artery-remote-sample

  Public
  Scala

  •0•1•0•0•Updated Feb 22, 2023Feb 22, 2023

• mathcomp-install

  Public
  Coq/SSReflect/MathComp installation instructions in Japanese

  3•0•0•0•Updated Jan 6, 2023Jan 6, 2023

• math-comp

  Public
  Mathematical Components

  Coq

  •125•0•0•0•Updated Nov 22, 2022Nov 22, 2022

• keibai981jp

  Public
  OCaml

  •0•0•0•0•Updated Oct 24, 2022Oct 24, 2022

• clang2cabs

  Public
  OCaml

  •1•1•1•1•Updated Oct 12, 2022Oct 12, 2022

• ocaml-blake3

  Public
  OCaml

  •

  MIT License

  •2•6•0•1•Updated Sep 6, 2022Sep 6, 2022