Proof exercises in Lean4 and Isabelle/HOL
-
Updated
Sep 5, 2024 - Lean
Mathematics is an area of knowledge that includes such topics as numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes.
Proof exercises in Lean4 and Isabelle/HOL
A collection of anki cards for the computer science program at LTH ||| En samling ankikort till Dataprogrammet (Datateknik) hos LTH
Runtime and miner for the LODA language written in C++
This repository contains Java code that I have written to solve DSA problems on LeetCode. Each solution is organized by DSA concept and is meant to showcase my understanding and proficiency in implementing these concepts. The purpose of this repository is to serve as a reference for everyone who is interested in learning DSA through LeetCode
My solutions to Project Euler problems in multiple languages
MultiPrecision Algebra
MultiPrecision Complex Algebra Implements
Linear algebra
Complex Algebra Implements
The firmware for CalcVox, a brand new talking calculator
Rust-based LeetCode algorithm problem solutions, regularly updated.
A modern quantitative finance framework that makes the complex simple
Automate code & data workflows with interactive Elixir notebooks
A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.
Computational algebraic number theory
TypeScript utility for handling numeric values with units, featuring unit conversion and unit-aware arithmetic operations.
A complete, proof-of-concept, C# implementation of the General Number Field Sieve algorithm for factoring very large semi-prime numbers. The focus was on readability and understandability of the code, not performance.
Asymmetric encryption algorithms and protocols
It's a ray tracing enviroment developed on c++ vanilla
Web application for practicing mental arithmetic