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
pranshu pushed to main at pranshu/perc 2025-06-02 16:43:00 +10:00
f0e0bf16da Added todo list
21c1b5303c Added cache
Compare 2 commits »
pranshu pushed to main at pranshu/perc 2025-06-01 13:05:33 +10:00
50152e4abf Perc is finsished
pranshu pushed to main at pranshu/perc 2025-06-01 02:00:32 +10:00
094189e2cb huge: changed to roda
e005cc96e9 Added toml config plus fixed some stuff
Compare 2 commits »
pranshu pushed to main at pranshu/perc 2025-05-31 14:57:36 +10:00
4fd0725169 Added markdown support
e1c2687cdf basic tree and navigation work now
deec2b8707 start with ruby code
Compare 3 commits »
pranshu pushed to main at pranshu/perc 2025-05-30 23:26:37 +10:00
40d8754378 Added gemfile and rakefile
pranshu created repository pranshu/perc 2025-05-30 23:16:47 +10:00
pranshu pushed to main at pranshu/hs-equational-calculator 2025-05-25 18:44:43 +10:00
c85e2ffecd added partiion function
e338e3a738 Major progress on laws
Compare 2 commits »
pranshu pushed to main at pranshu/learning-lean-prover 2025-05-22 23:19:48 +10:00
bf6c9f7ae2 Work on depdent tuped
pranshu pushed to main at pranshu/hs-equational-calculator 2025-05-21 16:34:03 +10:00
5113241a63 Split code into modules
pranshu pushed to main at pranshu/learning-lean-prover 2025-05-20 21:13:32 +10:00
00a8b5b605 Main intro file
pranshu created branch main in pranshu/learning-lean-prover 2025-05-20 21:13:32 +10:00
pranshu created repository pranshu/learning-lean-prover 2025-05-20 21:12:55 +10:00
pranshu pushed to main at pranshu/hs-equational-calculator 2025-05-19 22:55:01 +10:00
953c0d2298 Massive: completed parser and show
549fecacfc parser works good now
Compare 2 commits »
pranshu pushed to main at pranshu/hs-equational-calculator 2025-05-14 23:32:25 +10:00
473d26ff0e Added readme
6d18e0c1fb Inital commit
pranshu created branch main in pranshu/hs-equational-calculator 2025-05-14 23:32:25 +10:00
pranshu created repository pranshu/hs-equational-calculator 2025-05-14 23:26:47 +10:00
pranshu created branch main in pranshu/algorithims 2025-05-14 23:24:05 +10:00
pranshu pushed to main at pranshu/algorithims 2025-05-14 23:24:05 +10:00
6a8d3f76c6 Inital commit
pranshu created repository pranshu/algorithims 2025-05-14 23:23:45 +10:00
pranshu pushed to main at pranshu/genorg 2025-05-14 23:03:32 +10:00
a2426dee1c Added zig source as well
a95a61d005 Added gitignore
Compare 2 commits »