Explore projects

LION code

This is a public mirror of the repository of the MEQ suite.

Program verifier for Scala. Documentation, sources on GitHub

2D PIC code used at SPC for simulation of trapped electron clouds in Penning like traps. General electrode geometries are simulated using web-splines method. Poisson solver is based on finite element methods. Electron collisions against a uniform background gas are simulated with a Monte Carlo approach.