Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of development.

This project has been developed as part of 'Deep Learning' course at the University of Bologna

Build robust LLM applications with true composability 🔗

Combinatorial system of degree k ranking and unranking

📝 Code for the paper "Many-body quantum sign structures as non-glassy Ising models"

Group Equivariant Convolutional Neural Networks

Transliterate Cyrillic script to Latin script and vice versa.

A python NoSQL dictionary database, with concurrent access and ACID compliance

Declarative statistical visualization library for Python

Draft proposal for additional sub/superscript characters in Unicode

An optimized graphs package for the Julia programming language

The Julia Programming Language

View contents of Jupyter notebooks in the terminal with syntax highlighting.

Simple LaTeX parser providing latex-to-unicode and unicode-to-latex conversion

iPython/Jupyter Notebook magic to notify the programmer when a line/cell has completed execution.

Resume

A data analysis GUI for R

A 2d function plotter for the web

Lightweight markup language - document once, include anywhere