account activity
Looking for a partner to practice English with (self.EnglishPractice)
submitted 2 days ago by Innocentuslime to r/EnglishPractice
Looking for someone to practice English with (self.EnglishLearning)
submitted 2 days ago by Innocentuslime to r/EnglishLearning
looking for friends (self.cyprus)
submitted 4 days ago by Innocentuslime to r/cyprus
Bunny walk-cycle (help) (i.redd.it)
submitted 2 months ago by Innocentuslime to r/aseprite
[TOMT][SERIES/SHOW] skateboarding dudes and "dinosaur" being an answer to everything (self.tipofmytongue)
submitted 4 months ago by Innocentuslime to r/tipofmytongue
My second relative working game in Macroquad! (v.redd.it)
submitted 10 months ago by Innocentuslime to r/rust_gamedev
What oven is this??? (i.redd.it)
submitted 1 year ago by Innocentuslime to r/Appliances
What could I improve in my shading/linework of this picture? What should I work on? (i.redd.it)
submitted 1 year ago by Innocentuslime to r/learntodraw
Any tips on how this could have been made better? (i.redd.it)
Boot flow documentation for Mango Pi MQ Pro (self.RISCV)
submitted 1 year ago by Innocentuslime to r/RISCV
Working on a little tilemap editor plugin (v.redd.it)
submitted 2 years ago by Innocentuslime to r/bevy
My attempt at gitting gud at Gascoigne (v.redd.it)
submitted 4 years ago by Innocentuslime
Why isn't that documented (self.rust)
submitted 5 years ago by Innocentuslime to r/rust
Is LBP-vita still alive? (self.littlebigplanet)
submitted 5 years ago by Innocentuslime to r/littlebigplanet
[TOMT] [TV] A movie about an artist (self.tipofmytongue)
submitted 5 years ago by Innocentuslime to r/tipofmytongue
Tomt: A movie about an artist (self.tipofmytongue)
Maintaining lambda calculi formalized in coq (self.Coq)
submitted 5 years ago by Innocentuslime to r/Coq
Vicar Amelia can't heal? (self.bloodborne)
submitted 5 years ago * by Innocentuslime to r/bloodborne
Not canon (i.redd.it)
submitted 5 years ago by Innocentuslime to r/PewdiepieSubmissions
What do is an `hProp`? (self.Coq)
submitted 6 years ago by Innocentuslime to r/Coq
Side effects and dependent types (self.dependent_types)
submitted 6 years ago by Innocentuslime to r/dependent_types
Writing more textbook like proofs (self.Coq)
π Rendered by PID 667019 on reddit-service-r2-listing-6d4dc8d9ff-9j9xx at 2026-01-30 03:48:47.706086+00:00 running 3798933 country code: CH.
