Repositories list

• analysis

  Public
  Mathematical Components compliant Analysis Library

  Rocq Prover

  •

  Other

  •64•0•0•0•Updated Jan 5, 2026Jan 5, 2026

• tsurugidb

  Public
  Tsurugi - next generation RDB for the new era

  Shell

  •

  Apache License 2.0

  •10•0•0•0•Updated Dec 16, 2025Dec 16, 2025

• phone-bill-benchmark

  Public
  Tsurugi phome bill benchmark

  Java

  •

  Apache License 2.0

  •1•0•0•0•Updated Dec 15, 2025Dec 15, 2025

• spec

  Public
  WebAssembly specification, reference interpreter, and test suite.

  WebAssembly

  •

  Other

  •505•0•0•0•Updated Dec 13, 2025Dec 13, 2025

• coqhammer

  Public
  CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory

  OCaml

  •

  Other

  •35•0•0•0•Updated Dec 11, 2025Dec 11, 2025

• docker-mathcomp-analysis

  Public
  Shell

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

• rocq-scurve

  Public
  Rocq Prover

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

• WasmCert-Coq

  Public
  A mechanisation of Wasm in Coq(Rocq)

  Rocq Prover

  •

  MIT License

  •15•0•0•0•Updated Nov 17, 2025Nov 17, 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

• 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

  •245•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•9•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