Lean 4 library and knowledge base for computational economics

AI-assisted Lean formalization for Economics and Computation research

Coordinate-free hypersurfaces as Haskell types

Haskell library for representing and manipulating Symbolic Regression Tree

"Computational Methods for Economists using Python", by Richard W. Evans. Tutorials and executable code in Python for the most commonly used computational methods in economics.

An Awesome list for resources on algorithmic game theory

Generates and evaluates D, I, A, Alias, E, T, G, and custom optimal designs. Supports generation and evaluation of mixture and split/split-split/N-split plot designs. Includes parametric and Monte …

AutoOED: Automated Optimal Experimental Design Platform

Abstract Dialectical Frameworks solved by Binary Decision Diagrams; developed in Dresden (ADF-BDD)

A collection of essays and code on algebraic methods to evaluate noisy judges on unlabeled test data.

A simple Java implementation of a pile system.

SML sources of the book "Morphogrammatik: Eine Einführung in die Theorie der logischen Form"

Computations and statistics on manifolds with geometric structures.

WeightedSHAP: analyzing and improving Shapley based feature attributions (NeurIPS 2022)

Tutorials of econometrics featuring Python programming. This is a crash course for reviewing the most important concepts and techniques of basic econometrics, the theories are presented lightly wit…

A toolkit for higher-dimensional diagram rewriting.

Selected Papers of Dana S. Scott

I wanted to make a nicer sticker for Munihac, then things got out of hand.

Companion Site for Economic Networks: Theory and Computation

Neural Networks and Deep Learning

Simulation code for the paper "Making Reflective Equilibrium Precise. A Formal Model"

Build Petri net models compositionally

Building dynamical systems compositionally

CompleX Group Interactions (XGI) is a Python package for higher-order networks.

'math+econ+code' masterclass on equilibrium transport and matching models in economics

math+econ+code masterclass on optimization in economics: optimal transport, demand models, matching models

Theory and Applications of Lenses and Optics

A graphical interactive proof assistant designed for education

Example codes for the book Applied Stochastic Differential Equations

IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.