Sign in

Repository Index

47,133 repositories indexed

Tag: All Tags
Tag
Filters

Filters

Clear all filters

1–15 of 15 · Most stars

grbl /grbl

C6.3K3.2K

An open source, embedded, high performance g-code-parser and CNC milling controller written in optimized C that will run on a straight Arduino

A Rocq formalization of information theory and linear error-correcting codes

  • information-theory
  • error-correcting-codes
  • probability
  • convexity