Skip to content

Instantly share code, notes, and snippets.

View eliasfaical's full-sized avatar
🏠
Working from home

Elias Faiçal eliasfaical

🏠
Working from home
51 followers · 186 following
View GitHub Profile
@willccbb
willccbb / grpo_demo.py
Last active October 25, 2025 16:39
GRPO Llama-1B
# train_grpo.py
#
# See https://github.com/willccbb/verifiers for ongoing developments
#
"""
citation:
@misc{brown2025grpodemo,
title={Granular Format Rewards for Eliciting Mathematical Reasoning Capabilities in Small Language Models},
author={Brown, William},
@devfraga
devfraga / db.json
Last active December 27, 2023 02:13
Db API - React Native insider
{
"foods": [
{
"id": "1",
"name": "Strogonoff",
"total_ingredients": "4",
"time": 40,
"cover": "https://i.imgur.com/or7Phgi.jpeg",
"video":"https://www.youtube.com/watch?v=y9yKuT1m9LI",
"ingredients": [
@diego3g
diego3g / .hyper.js
Created March 13, 2020 18:44
// Future versions of Hyper may add additional config options,
// which will not automatically be merged into this file.
// See https://hyper.is#cfg for all currently supported options.
module.exports = {
config: {
// choose either `'stable'` for receiving highly polished,
// or `'canary'` for less polished but more frequent updates
updateChannel: 'stable',
@diego3g
diego3g / settings.json
Last active October 27, 2025 19:46
VSCode Settings (Updated)
{
"workbench.startupEditor": "newUntitledFile",
"editor.fontSize": 16,
"editor.lineHeight": 1.8,
"javascript.suggest.autoImports": true,
"javascript.updateImportsOnFileMove.enabled": "always",
"editor.rulers": [
80,
120
],
@jasonyingling
jasonyingling / gulpfile.js
Created February 1, 2019 04:26
A simple gulpfile setup for modern JavaScript and SASS
const { src, dest, watch } = require('gulp');
const sass = require('gulp-sass');
const minifyCSS = require('gulp-csso');
const babel = require('gulp-babel');
const concat = require('gulp-concat');
const browserSync = require('browser-sync').create();
function css() {
return src('./sass/*.scss', { sourcemaps: true })
.pipe(sass())
@gugaalves
gugaalves / shortcode-category.php
Last active January 31, 2019 01:05
// Add Shortcode
function button_category($post_id) {
$category = get_the_category( $post_id );
$return = '<a href="'. esc_url( get_category_link( $category[0]->term_id ) ) .'">Ver ' . $category[0]->cat_name . '</a>';
return $return;
}
add_shortcode( 'button-category', 'button_category' );
@jeromecoupe
jeromecoupe / webstoemp-gulpfile.js
Last active September 27, 2025 02:50
Gulp 4 sample gulpfile.js. For a full explanation, have a look at https://www.webstoemp.com/blog/switching-to-gulp4/
"use strict";
// Load plugins
const autoprefixer = require("autoprefixer");
const browsersync = require("browser-sync").create();
const cp = require("child_process");
const cssnano = require("cssnano");
const del = require("del");
const eslint = require("gulp-eslint");
const gulp = require("gulp");
@mgilank
mgilank / InstagramFecthMediaAjax.php
Created April 7, 2018 10:36 — forked from darkterminal/InstagramFecthMediaAjax.php
Fecth Instagram Media by Username using PHP without Instagram API
<?php
/**
* [getMediaByUsername description]
*
* Author : Imam Ali Mustofa - Betta Dev Indonesia
* Website : www.bettadevindonesia.com
*
* This function will scrap data from instagram without API
* Define username you need and define how many media will you get!
@serjKim
serjKim / gist:7f453992211637731d2f4d762c60f7a5
Last active July 6, 2022 21:43
integrate expo to the existing project
  1. add app.json, set the newest sdkVersion
{
  "name": "<yourname>",
  "displayName": "<yourname>",
  "expo": {
    "sdkVersion": "25.0.0"
  }
}
@sivadass
sivadass / index.html
Last active August 8, 2023 08:41
PHP Mailer - Ajax Submission
<!doctype html>
<html class="no-js" lang="">
<head>
<meta charset="utf-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1">
<title>Ping</title>
<meta name="description" content="">
<meta name="viewport" content="width=device-width, initial-scale=1">
<link rel="apple-touch-icon" href="apple-touch-icon.png">
<style>