oneofvalts
Follow
Stars
AqBanking Mirror (https://git.aquamaniac.de/git/aqbanking)
Overview of tactics in Lean 4 for beginners — longer version
Agent-based modeling framework in Julia
CORMAS (COmmon pool Ressources and Multi-Agent Simulations)
You like pytorch? You like micrograd? You love tinygrad! ❤️
This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
A tool for blocking mechanical keyboard chattering on Linux
tool for turning Lean proofs into Blender animations
State-of-the-art bilingual open-sourced Math reasoning LLMs.
A simple library to get flight data from various websites from within Python code
Get airport arrivals, departures, details and METAR weather info from CLI
Auto-Dark-Emacs is an auto changer between 2 themes, dark/light, following MacOS, Linux or Windows Dark Mode settings
A blueprint for a formalization of infinity-cosmos theory in Lean.
Template for blueprint-driven formalization projects in Lean.
Experiments with SAT solvers with proofs in Lean 4
A neovim plugin to run lines/blocs of code (independently of the rest of the file), supporting multiples languages
voldikss / vim-mma
Forked from rsmenon/vim-mathematica💥 A (Neo)vim plugin to provide Wolfram Mathematica language support
TruFont is a streamlined and hackable font editor. À l’ancienne.
Lean theorem proving interface which feels like pen-and-paper proofs.