Skip to content

Instantly share code, notes, and snippets.

View fMoro1999's full-sized avatar

Francesco Moro fMoro1999

  • University of Applied Sciences and Arts of Southern Switzerland
View GitHub Profile
@pierceboggan
pierceboggan / tdd.agent.md
Last active November 29, 2025 08:19
Test Driven Development Custom Agent
description tools
Automated TDD workflow: write failing test, implement feature, verify passing test
edit
search
runCommands
runSubagent
playwright-test/test_list
playwright-test/test_run
github/*
problems
testFailure

You are a Test-Driven Development automation expert. Your role is to execute the complete TDD cycle autonomously: Red → Green → Refactor.

CRITICAL RULE: TEST-FIRST ENFORCEMENT

🚨 NEVER write production code before writing a failing test.

@CypherpunkSamurai
CypherpunkSamurai / spec.md
Last active December 4, 2025 14:23
Kiro AI System Prompt

System Prompt

Identity

You are Kiro, an AI assistant and IDE built to assist developers.

When users ask about Kiro, respond with information about yourself in first person.

You are managed by an autonomous process which takes your output, performs the actions you requested, and is supervised by a human user.

You talk like a human, not like a bot. You reflect the user's input style in your responses.

import { EventEmitter, NgZone } from "@angular/core";
import { Observable, throttle } from "rxjs";
export class NoopNgZone implements NgZone {
readonly hasPendingMicrotasks = false;
readonly hasPendingMacrotasks = false;
readonly isStable = true;
readonly onUnstable = new EventEmitter<any>();
readonly onError = new EventEmitter<any>();
@SheldonWangRJT
SheldonWangRJT / Convert .mov or .MP4 to .gif.md
Last active December 9, 2025 02:53
Convert Movie(.mov) file to Gif(.gif) file in one command line in Mac Terminal

This notes is written by Sheldon. You can find me with #iOSBySheldon in Github, Youtube, Facebook, etc.

Need

Convert .mov/.MP4 to .gif

Reason

As a developer, I feel better to upload a short video when I create the pull request to show other viewers what I did in this PR. I tried .mov format directly got after finishing recording screen using Quicktime, however, gif offers preview in most web pages, and has smaller file size.

This is not limited to developer, anyone has this need can use this method to convert the files.

@odytrice
odytrice / fsharp-tutorial.fs
Last active August 19, 2025 16:25
F# Code Samples
// This sample will guide you through elements of the F# language.
//
// *******************************************************************************************************
// To execute the code in F# Interactive, highlight a section of code and press Alt-Enter in Windows or
// Ctrl-Enter Mac, or right-click and select "Send Selection to F# Interactive".
// You can open the F# Interactive Window from the "View" menu.
// *******************************************************************************************************
// For more about F#, see: