Skip to content
View MiguelBel's full-sized avatar

Organizations

@icostats @happta

Block or report MiguelBel

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

The best way to get AI coding agents to solve hard problems in complex codebases.

TypeScript 8,104 672 Updated Dec 23, 2025

View content in a way that does not suck

JavaScript 17 6 Updated Feb 11, 2020

🔥 Open Source Browser API for AI Agents & Apps. Steel Browser is a batteries-included browser sandbox that lets you automate the web without worrying about infrastructure.

TypeScript 6,083 907 Updated Dec 19, 2025

Opinionated Ubuntu Setup

Shell 7,871 781 Updated Nov 17, 2025

Conway's Game of Life in APL in FORTH: how to implement a weird programming language using another weird programming language

Forth 96 5 Updated Jul 4, 2020

These are the best resources for System Design on the Internet

17,525 2,289 Updated Jul 16, 2025

CLOG - The Common Lisp Omnificent GUI

Common Lisp 1,702 117 Updated Dec 9, 2025

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

Python 330,054 53,729 Updated Nov 3, 2025

wik is use to get information about anything on the shell using Wikipedia.

Python 632 20 Updated May 25, 2024

Convenience Parallel Processing methods for Ruby

Ruby 72 7 Updated Oct 31, 2021

Sumologic metrics worker in ruby

Ruby 1 1 Updated Mar 24, 2020

Simple operating system with its own bootloader, drivers for screen and keyboard, libc (for educational purposes)

C 122 18 Updated Jun 2, 2016

Examples for my talk on structuring go apps

Go 2,398 283 Updated May 19, 2023

A database and web app to keep track of all my books

Rust 28 1 Updated Dec 22, 2025

A distributed key value store in under 1000 lines. Used in production at comma.ai

Go 3,089 260 Updated Feb 10, 2024

Audio fingerprinting and recognition in Python

Python 6,695 1,467 Updated Apr 22, 2024

Some simple examples for new Prolog programmers

Prolog 617 179 Updated Nov 4, 2022

200 LOC Lisp implementation in Ruby

Ruby 3 1 Updated Oct 31, 2020

A curated list of awesome video frameworks, libraries, specifications and software.

Shell 378 42 Updated Nov 27, 2025

Type Signature for Ruby

Ruby 2,111 227 Updated Dec 23, 2025

a work-in-progress Ruby compiler, written in Ruby and C++

Ruby 1,018 70 Updated Dec 22, 2025

The Power of Prolog: Introduction to modern Prolog

HTML 1,344 85 Updated Sep 30, 2025

The new nanopass framework; an embedded DSL for writing compilers in Scheme

Scheme 524 61 Updated Aug 25, 2025

Racc is an LALR(1) parser generator. It is written in Ruby itself, and generates ruby programs.

Yacc 552 91 Updated Dec 16, 2025

Deep Learning papers reading roadmap for anyone who are eager to learn this amazing tech!

Python 39,396 7,334 Updated Nov 27, 2022

A lightning-fast search engine API bringing AI-powered hybrid search to your sites and applications.

Rust 55,080 2,310 Updated Dec 23, 2025

Ruby Autoformatter!

Rust 1,098 52 Updated Dec 23, 2025

This is an xv6 port on Raspberry Pi 2 and 3

C 24 8 Updated Aug 10, 2022

xv6 OS

C 9,106 4,399 Updated Aug 13, 2024
Next