Skip to content

illc-uva/illc-uva.github.io

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

51 Commits
 
 
 
 
 
 
 
 

Repository files navigation

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.

Epistemology & Philosophy of Science (EPS)

Formal Semantics & Philosophical Logic (FSPL)

Language & Music Cognition (LMC)

Mathematical & Computational Logic (MCL)

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

Natural Language Processing & Digital Humanities (NLP&DH)

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 [email protected].

About

ILLC code

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Contributors 2

  •  
  •  

Languages