Explore live open-source projects and AI models.

Library for proving propositions quantified over finite sets

This repository includes six 1D CFD simulations using the Finite Volume Method (FVM) from my academic research. It covers topics such as the SIMPLE algorithm, heat conduction, and diffusion-convection processes. The examples are inspired by 'An Introduction to CFD: Finite Volume Method' by Verste... Read more

Pricing derivatives using the explicit finite-difference method

A free and open source space exploration game, derived from https://github.com/endless-sky/endless-sky

implementation of finite difference frequency domain equations for Maxwell's equations and the exploration of domain decomposition, specifically Schur complements

Flexible and accessible Python framework for cardiac electrophysiology simulations using finite-difference methods.

No description available from source.

Bot used for FiniteSingularity's stream.

Fast transforms over finite fields

This is C++ algorithm, and convolution kernel generator with MATLAB