Pranshu Sharma pranshu · he/him
0 followers · 0 following
  • Brisbane
  • https://p.bauherren.ovh

  • This is where I put my more irrelevant projects that only I will ever probably use, or are for learning purposes

  • Joined on 2025-05-14
Repositories
5
 Projects Packages Public activity Starred repositories
Filter
Sort
perc
Ruby 0 0
Better Werc
Updated 2025-06-02 16:43:00 +10:00
hs-equational-calculator
Haskell 0 0
A simple functional equitational calculator in haskell
Updated 2025-05-25 18:44:43 +10:00
learning-lean-prover
Lean 0 0
Learning Lean programming language, it uses dependent types for proving stuff.
Updated 2025-05-22 23:19:48 +10:00
algorithims
Haskell 0 0
Practicing implementations of complex-ish algorithims
Updated 2025-05-14 23:24:05 +10:00
genorg
Perl 0 0
A web blogging system
Updated 2025-05-14 23:03:32 +10:00