Pinned Loading

1. dpll-algorithm dpll-algorithm Public

   SAT Solver (DPLL Algorithm) implemented in OCaml, exploring propositional logic, CNF simplification, and backtracking search to determine formula satisfiability.

   OCaml

2. edge-visualiser edge-visualiser Public

   Quantitative trading simulation tool utilizing Monte Carlo methods to demonstrate statistical edge, volatility drag, and risk management mechanics.

   Python 1

3. mini-cron mini-cron Public

   A robust POSIX-compliant task scheduling system utilizing a client-server architecture with named pipes (FIFO), I/O multiplexing (select), and advanced process management for concurrent job execution.

   C

4. liquidwars liquidwars Public

   A real-time strategy game implemented in Java, featuring a fluid particle-based physics engine, pathfinding optimization using Java 21 Virtual Threads, and core OOP design patterns (Strategy, Obser…

   Java

5. roulette-technique-simulation roulette-technique-simulation Public

   An experimental project analyzing betting strategies with probability theory, Monte Carlo simulations, and data visualization to test their real-world efficiency.

   Python

6. ast-calculator ast-calculator Public

   A command-line AST Calculator in pure Scala that parses and evaluates mathematical expressions using recursive algorithms, immutable data structures, and exhaustive pattern matching.

   Scala