Repository Index

An open-source mathematical tire modelling library

This is the mirror of pyaxon repository http://bitbucket.org/intellimath/pyaxon

Tool for suggesting lemma names in Coq verification projects

• coq
• machine-learning
• name-generation
• pytorch

Computer Algebra for microcontrollers using https://github.com/micropython/micropython

Conflict-free merge for DataFrames, JSON, ML models & distributed agents — powered by CRDTs. The first merge library where every operation is mathematically guaranteed to converge.

• collaborative-editing
• conflict-resolution
• crdt
• data-engineering