Skip to content

Instantly share code, notes, and snippets.

View ElianFabian's full-sized avatar

Elián Fabián ElianFabian

View GitHub Profile
@ElianFabian
ElianFabian / PariGp.ps1
Created July 11, 2024 19:17
Example of how to use PARI/GP inside PowerShell
function Get-PrimeNumber([ulong] $position) {
return [System.UInt128] ("prime($position)" | gp.exe -q)
}
using System;
// From the Kotlin standard library
public class XorWowRandom
{
private int x, y, z, w, v, addend;
private XorWowRandom() { }
public static XorWowRandom FromSeed(int seed)
@ElianFabian
ElianFabian / LanguageContextWrapper.kt
Last active September 20, 2024 17:03
ContextWrapper to propperly update the locale of your application. The default implementation takes the first supported locale, otherwise takes the default locale.. Gist to generate the supported and default locale: Gist to generate the supported locales: https://gist.github.com/ElianFabian/e94071f348998c24bedaa959ddb8df40
import android.annotation.SuppressLint
import android.app.Application
import android.content.ComponentCallbacks
import android.content.Context
import android.content.ContextWrapper
import android.content.res.Configuration
import android.content.res.Resources
import android.os.Build
import android.os.LocaleList
import androidx.core.os.ConfigurationCompat
@ElianFabian
ElianFabian / ExtendedCardView.kt
Last active September 22, 2024 20:32
A CardView that allows setting the corner radius as a percentage. It also fix the issue of the corner radius exceeding the 50% limit on API 22 and below which causes the card to look weird.
package yourpackage
import android.content.Context
import android.os.Build
import android.util.AttributeSet
import android.view.View
import androidx.cardview.widget.CardView
import yourpackage.R
/**
package yourpackage
import android.annotation.SuppressLint
import android.app.Activity
import android.app.Application
import android.content.Context
import android.content.SharedPreferences
import android.content.pm.PackageManager
import android.content.res.Configuration
import android.content.res.Resources