Repositories list

• CoqSticker

  Public
  Coq

  •0•0•0•2•Updated Mar 6, 2025Mar 6, 2025

• FlowInvestigation

  Public
  Mathematicaによる貨物・旅客地域流動量可視化

  0•0•0•0•Updated Jul 9, 2020Jul 9, 2020

• DANCAR

  Public
  Disk-ANChor ARrangement for embedding directed graphs

  Python

  •

  MIT License

  •0•2•0•0•Updated Jun 30, 2020Jun 30, 2020

• CoqExamples

  Public
  TeX

  •0•0•0•0•Updated Jun 10, 2020Jun 10, 2020

• iPad-ProbeDeformer

  Public
  iPad application: Probe based deformer using Dual Complex Numbers

  Objective-C

  •

  MIT License

  •1•4•0•0•Updated Apr 10, 2020Apr 10, 2020

• RelationalCalculus

  Public
  Coq

  •0•3•0•0•Updated Feb 8, 2020Feb 8, 2020

• BrickCornerWangTiling

  Public
  Verification of A Brick Corner Wang Tiling Algorithm

  Mathematica

  •0•0•0•0•Updated Feb 8, 2020Feb 8, 2020

• MathematicaARAP

  Public
  Mathematica

  •0•0•0•0•Updated Feb 8, 2020Feb 8, 2020

• LinearWang

  Public
  graphicstiling

  C

  •0•0•0•0•Updated Dec 2, 2019Dec 2, 2019

• PolyArcFitter

  Public
  Poly-arc fitter

  curvescad

  Python

  •

  MIT License

  •1•1•0•0•Updated Nov 30, 2019Nov 30, 2019

• MathematicaCGA

  Public
  Mathematica

  •

  MIT License

  •1•4•0•0•Updated Nov 29, 2019Nov 29, 2019

• mnist-test

  Public
  Python

  •0•0•0•0•Updated Sep 12, 2018Sep 12, 2018

• domineering

  Public
  Jupyter Notebook

  •0•1•0•0•Updated Aug 6, 2018Aug 6, 2018

• ALLC

  Public
  pythonlinear-programmingpython3+ 1pulp

  Python

  •

  MIT License

  •0•1•0•0•Updated Feb 1, 2018Feb 1, 2018

• FuzzyRelationalDatabase

  Public
  Mathematica

  •0•1•0•0•Updated Apr 12, 2017Apr 12, 2017

• TPP2014

  Public
  Theorem proving and provers for reliable theory and implementations

  Coq

  •1•5•0•0•Updated Dec 4, 2014Dec 4, 2014

• JavaExamples

  Public
  Java

  •0•0•0•0•Updated Oct 28, 2013Oct 28, 2013