Thanks to visit codestin.com
Credit goes to Github.com

Skip to content
View fDero's full-sized avatar
  • Cloud9 Reply
  • Naples, Italy

Highlights

  • Pro

Block or report fDero

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
Showing results

A better shim.exe file for Scoop.

C 81 37 Updated Jun 19, 2023

A C Compiler that fits in the 512 byte boot sector of an x86 machine

C 1,828 81 Updated Feb 8, 2026

A simple SNARK implementation in Python

Python 5 Updated Jan 20, 2024

Ymir: The Type-1 Hypervisor.

Zig 58 4 Updated Jun 18, 2025

A network load-balancer implementation for Kubernetes using standard routing protocols

Go 8,072 1,022 Updated Feb 25, 2026

A GUI tool to edit commit messages, dates and authors in a git repo.

C# 12 Updated Oct 24, 2025

The Widow Progamming language aims to be a high performance memory safe bytecode compiled langauge with simple python and go like syntax. Powered by Rust🦀

Rust 2 Updated Jun 5, 2025

StarVector is a foundation model for SVG generation that transforms vectorization into a code generation task. Using a vision-language modeling architecture, StarVector processes both visual and te…

Python 4,274 237 Updated Nov 7, 2025

A modest, unofficial LaTeX package to obtain decent-looking front-pages for your theses (@ UniNA) with minimal effort.

TeX 25 Updated Dec 18, 2019

A game of Connect Four with an artificial intelligence agent using Minimax.

Python 1 1 Updated Sep 22, 2019

A tiny scalar-valued autograd engine and a neural net library on top of it with PyTorch-like API

Jupyter Notebook 14,804 2,229 Updated Aug 8, 2024

Visual Studio Code

TypeScript 182,115 38,175 Updated Feb 27, 2026

Golang terminal dashboard

Go 13,521 816 Updated Jul 10, 2025

Numerical simulation of an elastic rope subjected to gravity, friction and rigidity

C++ 2 Updated Feb 17, 2025

A Proof-oriented Programming Language

F* 2,976 250 Updated Feb 26, 2026

A community-maintained Python framework for creating mathematical animations.

Python 36,946 2,685 Updated Feb 27, 2026

OCRmyPDF adds an OCR text layer to scanned PDF files, allowing them to be searched

Python 32,777 2,285 Updated Feb 21, 2026

brainfuck interpreter in sed

sed 5 Updated Feb 13, 2019

A text editor in less than 1000 LOC with syntax highlight and search.

C 8,773 939 Updated Jan 4, 2025

simple terminal UI for git commands

Go 73,123 2,543 Updated Feb 25, 2026

Powerful, mature open-source cross-platform game engine for Python and C++, developed by Disney and CMU

C++ 5,049 867 Updated Feb 22, 2026

A purely functional programming language with first class types

Idris 2,878 398 Updated Feb 24, 2026

Terraform enables you to safely and predictably create, change, and improve infrastructure. It is a source-available tool that codifies APIs into declarative configuration files that can be shared …

Go 47,833 10,225 Updated Feb 27, 2026
C++ 1 Updated Dec 12, 2024

best possible use of sed

sed 120 2 Updated May 18, 2024

A collection of algorithms and data structures

Java 18,510 4,525 Updated Jan 17, 2026

Beginnings of a Postgres client for Idris 2

Idris 18 4 Updated Dec 9, 2025

On the yolo page, anything goes... I'll merge any pull request you make to this website.

HTML 31 33 Updated May 10, 2024

Parser combinators for Idris

Idris 244 43 Updated Apr 11, 2019
Next