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