Christovis

ecosmog-cvg

N-body code for cosmological structure formation in cubic vector Galileon gravity

astrild

Python package for the study of galaxy evolution, voids, large scale structure, weak lensing, CMB, and modified gravity theories using cosmological Ramses based N-body simulations.

category-theory-for-programmers-companion

A reading companion for "Category Theory for Programmers"

christovis.github.io

H0-from-catalogued-strong-lensing

H0 inference from catalogued simulated strong lenses.

advent-of-code-2020

Advent of Code solutions in Scala 2.13.3

dutch-energy-system-dynamics-models

A collection of materials on system dynamic modelling applied to the sustainable energy transition focusing on the Netherlands.

AlgebraicDynamics.jl

Building dynamical systems compositionally

bigbang

Scientific analysis of collaborative communities

bigbang-graphql

GraphQL Database for BigBang email archives

Catlab.jl

A framework for applied category theory in the Julia language

christovis

me

dotfiles

flute-uk

Agent-based epidemic model for the spread of Covid-19 in the UK

GalaxyEvolution

geopolitics-in-the-standardization-of-secur-telecommunications-networks

hakyll-template

A static website compiler library in Haskell

internet-energy-model

Towards a high-level description of the internet energy consumption

Latex

Modern PowerPoint style for Latex

NeuroImaging

P5Anomaly

ray-ramses

A ray tracing code to compute integrated cosmological observables on the fly in AMR CFD simulations

scholarly

Retrieve author and publication information from Google Scholar in a friendly, Pythonic way

standardization-of-lawful-interception-technologies-in-the-3GPP

Mailinglist and document discourse analysis of the 3GPP Lawful Interception focus group

StrongLensing

Strong gravitational lens analysis of SPH simulations

Website

workshop-aid

IAB Workshop on Analyzing IETF Data (AID) 2021

yt_astro_analysis

yt astrophysical analysis modules