Skip to content
View kidnixt's full-sized avatar
  • Universidad ORT Uruguay
  • Uruguay
  • 23:39 (UTC -03:00)

Highlights

  • Pro

Organizations

@neuralchecker

Block or report kidnixt

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
kidnixt/README.md

Pinned Loading

  1. miniReLM miniReLM Public

    ReLM chiquito

    Jupyter Notebook 5

  2. research research Public

    la vida misma

    1

  3. neuralchecker/pyModelExtractor neuralchecker/pyModelExtractor Public

    Python 1

  4. neuralchecker/pythautomata neuralchecker/pythautomata Public

    Initial repository for ORT Uruguay's pythonAutomata library

    Python 2 1

  5. principles_of_model_checking principles_of_model_checking Public

  6. qwen_POC qwen_POC Public

    Jupyter Notebook