Skip to content
View mr-infty's full-sized avatar
💭
Forever Voyaging
💭
Forever Voyaging
3 followers · 7 following

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Block or report mr-infty

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Showing results

cazala / coin-hive

CoinHive cryptocurrency miner for node.js

JavaScript 1,987 397 Updated Dec 18, 2018

joaomilho / awesome-idris

𝛌 Awesome Idris resources

Idris 398 18 Updated Feb 20, 2020

edwinb / idris-php

Yes, really...

Haskell 172 14 Updated Aug 4, 2017

augustss / djinn

Generate Haskell code from a type

Haskell 133 13 Updated Feb 21, 2025

patrickvogt / console

Homebrew development for gaming consoles

Assembly 18 6 Updated Mar 17, 2018

vmchale / permutations

Provides a type-safe way of working with permutations in Idris

Idris 35 4 Updated Oct 3, 2021