Popular repositories Loading

1. golitex golitex Public

   Litex: A Simple Formal Language Learnable in 2 Hours, not 1 Year

   Go 552 6

2. pylitex pylitex Public

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

   Python 4

3. litex-official-documents litex-official-documents Public

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

   4

4. std std Public

   Standard Library of Litex

   4 3

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