ILLC Code on Github

This is a list of Github repositories created or maintained by current or former members of the Institute for Logic, Language and Computation (ILLC). Current versions of the repos are also available here.

1. Epistemology & Philosophy of Science (EPS)

2. Formal Semantics & Philosophical Logic (FSPL)

3. Language & Music Cognition (LMC)

4. Mathematical & Computational Logic (MCL)

  • Leapfrog: certified equivalence for protocol parsers (Coq formalization) (url)

5. Natural Language Processing & Digital Humanities (NLP)

  • Dialogue Modelling Group (url)
    • Generating Image Descriptions via Sequential Cross-Modal Alignment Guided by Human Gaze (url)
    • MALeViC: Modeling Adjectives Leveraging Visual Contexts (url)
    • The PhotoBook Dataset: Building Common Ground through Visually Grounded Dialogue (url)
    • VISTA: Visually Grounded Talking Agents (url)
  • I-Machine-Think website (url)
    • diagNNose: his library contains a set of modules that can be used to analyse the activations of neural networks (url)
    • This repository contains a two-stage grammar induction setup for analysing languages emerging in referential and other games (url)
    • This repository contains data and scrips to use the tests from the compositionality evaluation paradigm described in the paper (url)
    • Official code for the paper Single Headed Attention RNN: Stop Thinking With Your Head (url)
    • Generalised Contextual Decomposition for Language Models (url)
    • Official implementation of the Seq2Attn architecture for sequence-to-sequence task (url)
    • This is a pytorch implementation of a sequence to sequence learning toolkit for the i-machine-think project (url)
    • Version alpha for the project sygnal (url)
    • matrics - Machine Metrics: A library of common NLP / compositionality metrics (url)
    • Assessing Incrementality in sequence-to-sequence models (url)
    • A list of resources dedicated to compositionality (url)
    • Datasets for compositional learning (url)
    • Attentive Guidance (url)
  • Statistical language processing and learning lab (url)
  • Probabilistic Language Learning Group (url)
    • Sparse distributions compatible with torch.distributions: code and related paper
    • Constrained optimisation in pytorch: code and example
    • Block neural auto-regressive flows: code and paper
    • Joint generative model of tanslation: code and paper
    • Jupyter notebooks for continuous and discrete latent-variable VAEs: code
    • Deep generative model for joint alignment and word representation: code and paper

6. Artificial Intelligence, Culture & Society (AIC&S)

7. Theoretical Computer Science (TCS)

  • Quantum Information @ Amsterdam (url)
    • A Python package for rigorous free fermion entanglement renormalization from wavelet theory (url)
    • A SageMath package for computing moment polytopes associated with finite-dimensional representations of compact and connected Lie groups (url)
    • This is a Python module and Jupyter notebook for tensor scaling, computing entanglement polytopes, and solving the one-body quantum marginal problem (url)
    • A Maple package for computing Kronecker coefficients g(λ,μ,ν) (url)
    • Efficiently compute Kronecker coefficients of bounded height (url)
    • Python code to calculate the entanglement fidelity and success probability of certain port-based teleportation protocols, as well as their asymptotics (url)
  • Computational Social Choice
    • Python Package for Computational Social Choice (url)
    • Encodings of Judgment Aggregation (JA) problems into Answer Set Programming (ASP) (url)
    • A Python package for creating and manipulating logical sentences written in the negation normal form (NNF) (url)
  • Dynamic Epistemic Logic
    • A symbolic model checker for Dynamic Epistemic Logic (url)

If you wish to add a repository to this list and to this collection of repositories, please send an email to rdm-illc@uva.nl.

Author: Peter van Ormondt

Created: 2026-10-27 Tue 15:40

Emacs 27.1 (Org mode 9.4)