横山研究室
Popular repositories Loading
-
-
visCOT
visCOT PublicForked from Yoshi0207/Visualization-program-of-flow
Visualization program of tree representation of structurally stable incompressible flow in two dimensional multiple connection domain
Python 1
-
-
R-WHILE_Syntax_Highlighter
R-WHILE_Syntax_Highlighter PublicR-WHILE syntax highlighter with Ace-js.
-
PyJanus2PISA
PyJanus2PISA PublicA Python implementation of a compiler from Janus to PISA (Pendulum Instruction Set Architecture)
Python 1
-
Repositories
- rcore-semantics Public
Rocq mechanization of the meta-level reversible small-step semantics of R-CORE (axiom-free, one self-contained file)
- paper-check Public
Machine checks for the invariants of a LaTeX manuscript: claimlock freezes numeric claims by paragraph (detection power measured by mutation injection), plus a methodology note on making checks that do not stay silent
- cslib-reversible Public
An axiom layer for reversible computation on top of CSLib's labelled transition systems (Lean 4): the Lanese-Phillips-Ulidowski axioms and the theory they entail, sorry-free and choice-free
Top languages
Loading…
Most used topics
Loading…