Popular repositories Loading

1. golitex golitex Public

   Litex is a simple formal language Learnable in 2 hours, not 1 year. It scales formal reasoning in AI era.

   Go 566 6

2. std std Public

   Standard Library of Litex

   5 3

3. pylitex pylitex Public

   pylitex is a Python package that allows users to call Litex in Python.

   Python 4

4. litex-official-documents litex-official-documents Public

   All documents on https://litexlang.com/ are open-sourced here.

   4

5. terence-tao-analysis-one-litex terence-tao-analysis-one-litex Public

   Formalization of professor Terence Tao's book Analysis One in Litex

   2

6. litex-jupyter-kernel litex-jupyter-kernel Public

   A jupyter kernel for Litex

   Python 2