Ezequiel Leonel Ramis Folberg

category-theory-illustrated. A book about category theory

nixflix. NixOS Media Server Configuration

regex-vis. 🎨 Regex visualizer & editor

o-rly-collection. This is a website for the quick search of O'Reilly-like meme book covers about programming.

scx_horoscope. Astrological CPU Scheduler

1st-shot. A terminal bullet hell dream

clang-wasm-browser-starterpack. Minimal working examples of C and C++ software development targeting the web via WebAssembly.

wasi-sdk-nixos. C and C++ WASM LLVM toolchain with libc++ and libc static libraries and headers targeting WASI.

algo3. Material de estudio para Algoritmos y Estructuras de Datos III / Técnicas de Diseño de Algoritmos de FCEyN, UBA.

awesome-prolog-puzzles. A collection of fun logic puzzles solved in Prolog, demonstrating the power of logic programming for solving complex reasoning problems.

The-Simpsons-Hit-and-Run. Stolen (and slightly cleaned up) version of The Simpsons: Hit & Run original source code from 2003

zig-docs-astro. TypeScript

shadPS4. PlayStation 4 emulator for Windows, Linux, macOS and FreeBSD written in C++

source-sdk-2013. The 2013 edition of the Source SDK

cppcon2023. Code for "SPSC Lock-free, Wait-free Fifo from the Ground Up" presentation at CPPCON 2023

ghostty. 👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

trapcc. Computing with traps

vkguide-zig. An implementation of vkguide.dev in the zig programming language

perf-book. The book "Performance Analysis and Tuning on Modern CPU"

clay. High performance UI layout library in C.

Glider. Open-source E-ink monitor. Mirror of https://gitlab.com/zephray/glider

typ. A small Zig ⚡ module, as a convenience for me when writing WebAssembly plugins for Typst

LaTeX-OCR. pix2tex: Using a ViT to convert images of equations into LaTeX code.

cpplinks. A categorized list of C++ resources.

BoletinBot. A bot that will summarize the Boletín Oficial of Argentina every day

spice. Fine-grained parallelism with sub-nanosecond overhead in Zig

coz. Coz: Causal Profiling

rapidhash. Very fast, high quality, platform-independent hashing algorithm.

uiua. A tacit array programming language

Blendersito. Una version de Blender creada desde cero para Symbian

cp-algorithms. Algorithm and data structure articles for https://cp-algorithms.com (based on http://e-maxx.ru)

launcher. Launcher for Flashpoint Archive

reggaetonBeGone. Detects reggaeton genre with Machine Learning and sends packets to disable BT speakers (hopefully)

nix-alien. Run unpatched binaries on Nix/NixOS

cobalt. best way to save what you love

intel_multicore. C

hvm-64. Rust

x86-asm-reference.

hype-ai-starter. Bleeding irresponsibly with trendy web tech in 2023 (HTMX, Bun, Hono, TailwindCSS, ChatGPT)

vite-plugin-json5. Plugin for allowing json5 and jsonc files to be loaded

bun. Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one

poop. Performance Optimizer Observation Platform

pcb. Printed Circuit Board schematics

perfanno.nvim. NeoVim lua plugin that annotates source code with profiling information from perf, LuaJIT, or other profilers.

flexsearch. Next-generation full-text search library for Browser and Node.js

hono. Web framework built on Web Standards

lucide. Beautiful & consistent icon toolkit made by the community. Open-source project and a fork of Feather Icons.

solid-icons. The simplest way to use icons in SolidJS

twemoji-color-font. CSS

copilot.el. An unofficial Copilot plugin for Emacs.

Genesis. God's actual programming language.

doom-nano-modeline. A modeline for Doom Emacs based on N Λ N O Modeline

doom-nano-themes. A light and dark themes for Doom Emacs based on N Λ N O Themes

vite. Next generation frontend tooling. It's fast!

monorepo. The homepage for all my repositories.

perf. Estimates the average runtime and time-complexity (big O notation) of (a)sync algorithms

yal. Yet Another Launcher

vitest. Next generation testing framework powered by Vite.

solid-devtools. Library of developer tools, reactivity debugger & Devtools Chrome extension for visualizing SolidJS reactivity graph

file-info.el. All necessary information about current file in hydra + posframe

jampack. Optimizes static websites for best user experience and best Core Web Vitals scores.

Hide-n-Seek. Hide promoted jobs and companies on LinkedIn, Indeed, and Glassdoor.

not-paid. Client did not pay? Add opacity to the body tag and decrease it every day until their site completely fades away

ligature.el. Display typographical ligatures in Emacs

interception-k2k. Configurable plugin for Interception Tools (caps2esc, space2meta, tab2altgr...)

pagefind. Static low-bandwidth search at scale

xast-util-from-xml. utility to parse from XML

disks-of-babel. 💾 infinite™ space of WebAssembly binaries

astro-i18n. A TypeScript-first internationalization library for Astro.

ssr.nvim. Treesitter based structural search and replace plugin for Neovim.

uniorg. An accurate Org-mode parser for JavaScript/TypeScript

astro-command. run commands as astro components

ferris3d. A free 3D model of Ferris the rustacean

simplified-portfolio. TypeScript

chitchatter. Secure peer-to-peer chat that is serverless, decentralized, and ephemeral

deadnix. Scan Nix files for dead code

Bottles. Run Windows software and games on Linux

nixpkgs. Nix Packages collection & NixOS

emacs-which-key. Emacs package that displays available keybindings in popup

oby. A rich Observable/Signal implementation, the brilliant primitive you need to build a powerful reactive system.

honecomp.github.io.

sotsrc. C

rust-raytracing. Raytracing proof of concept done in Rust

rehype-sectionize. Sectionize headings in Rehype

picom. A lightweight compositor for X11 with animation support

astro-i18next. An astro integration of i18next + some utility components to help you translate your astro websites!

strikingloo.github.io. My personal site, including my knowledge repository and blog.

astro-icon. Inline and sprite-based SVGs in Astro made easy!

awesome-astro. Curated resources on building sites with Astro, a brand new way to build static and server rendered sites, with cross-framework components, styling and reactive store support.

astro-pandoc. astro component that lets you use pandoc

rust-c-compiler. A C compiler written in Rust

poly-astro. An emacs polymode for Astro components.

astro. The web framework for content-driven websites. ⭐️ Star to support our work!

solid-jsx. mdx for solid-js

org-to-markdown. org mode to markdown/mdx

sharedrop. Easy P2P file transfer powered by WebRTC - inspired by Apple AirDrop

type-signature-com. Who Wants to Be a Millionaire - but with types

voby. A high-performance framework with fine-grained observable/signal-based reactivity for building rich applications.

spotifyd. A spotify daemon

sptlrx. Synchronized lyrics in your terminal

devshell. Per project developer environments

dotfiles. My desktop configuration files.

eww-dotfiles. My new eww dotfiles :3

winapps. Run Windows apps such as Microsoft Office/Adobe in Linux (Ubuntu/Fedora) and GNOME/KDE as if they were a part of the native OS, including Nautilus integration.

WaveFox. Firefox CSS Theme/Style for manual customization

swhkd. Sxhkd clone for Wayland (works on TTY and X11 too)

idris2-tutorial. Idris

spyglass. A personal search engine: Create a searchable library from your personal documents, interests, and more!

hotfiles. 🏠 A collection of personal configuration files for various rices I have made.

blurclean-firefox-theme. Clean, transparent firefox theme

blurredfox. A sleek, modern and elegant Firefox CSS theme

nix-direnv. A fast, persistent use_nix/use_flake implementation for direnv [maintainer=@Mic92 / @bbenne10]

rustdesk. An open-source remote desktop application designed for self-hosting, as an alternative to TeamViewer.

core. An Emacs framework for the stubborn martian hacker

tauri. Build smaller, faster, and more secure desktop and mobile applications with a web frontend.

haskell-companies. A gently curated list of companies using Haskell in industry

.dotfiles_new. dotfiles for archlinux

firefox-macos-native-tabbar. macOS Native-looking Translucent Tabbar for Firefox

firefox-transparent-theme-mac. One-line theme

tiramisu. Desktop notifications, the UNIX way

dotfiles. The ArchLinux and AwesomeWM configs. 📂

dotfiles. My NixOS configuration flake that moggs yours in term of eval times

FiraCode. Free monospaced font with programming ligatures

simplex-chat. SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

peridot. A fast functional language based on two level type theory

contrast-grid. JavaScript

contrast-grid. App for contrastgrid.com

figma-plugin. Official repository of the plugin 'Tokens Studio for Figma' (Figma Tokens)

huetone. A tool to create accessible color systems

nixos-config. My NixOS configuration

blezz. Keystroke Launcher

rofi. A huge collection of Rofi based custom Applets, Launchers & Powermenus.

penpot. Penpot: The open-source design platform for Product teams that need scalable collaboration.

Reactive-Life. A functional reactive GUI for John Conway's Game of Life.

Interaction-Calculus. A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

HVM2. A massively parallel, optimal functional runtime in Rust

home-manager-option-search. Home Manager Option Search

wayfire. A modular and extensible wayland compositor

wayfire-plugin_dbus_interface. DBus Plugin for wayfire

xml-typelift. XML TypeLift will allow to use XML Schema to create Haskell data type and parser for it

toledo. A fast and extremely minimal shell prompt with git tracking.

bang-bookmarks. Replicate DuckDuckGo !bang's in Firefox using Keymarks!

nix-lib-html-reference. Nix

minimixer. A very barebones X11 pulseaudio volume mixer

new-england. A truly comfortable light theme for Visual Studio Code

kanagawa.nvim. NeoVim dark colorscheme inspired by the colors of the famous painting by Katsushika Hokusai.

awesome-neovim. Collections of awesome neovim plugins.

neo. Simulates the digital rain from "The Matrix" (CMatrix clone with 32-bit color and Unicode support)

nix-darwin-dotfiles. Dotfiles managed via Nix-Darwin and Mk-Darwin-System, for schoolwork and kotlin, lua, and rust programming

dotfiles-public. My wayland setup

nix-config. Personal NixOS configuration

tao. A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.

chumsky. [Chumsky has moved to Codeberg!] Write expressive, high-performance parsers with ease.

Idris2. A purely functional programming language with first class types

awesome-idris. 𝛌 Awesome Idris resources

idris2-dom. Javascript DOM bindings for Idris2

nota. A document language for the browser

flutter_rust_bridge. Flutter/Dart <-> Rust binding generator, feature-rich, but seamless and simple.

refined. Refinement types with static checking

ihp. 🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

svgpath. SVG path segments parser and optimiser

rail. Interpreter/compiler for a 2D esoteric language

retruco. An Interpreter and Virtual Machine for the TIMBA language

public-api-lists. A curated list of free public APIs — searchable, community-maintained, with a free JSON API.

Octo. A Chip8 IDE

milewski-ctfp-pdf. Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

ante. A safe, easy systems language

pikelet. A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

visual-programming-codex. Waypoints to the past and future of visual programming.

nds-rs. Safe abstractions for libnds, allowing homebrew development for the Nintendo DS using Rust

aith. Low level toy functional programming language with linear types, first class inline functions, levity polymorphism and regions.

perfect-freehand. Draw perfect pressure-sensitive freehand lines.

fieldplay. A vector field explorer

Haskell-Tetris. Final project for EECS 368 written in Haskell

plzoo. Programming Languages Zoo

ProcessingNyanCat. https://nyan.cat but in Processing. This is just a project I made when I was 15

awesome-programming-games. An ultra mega giga curated list of programming games

ldpl. COBOL-like programming language that compiles to C++. With serious dinosaurs with neckties and briefcases 🦕💼

SymCode. SymCode: The Symbolic Barcode for Humans and Machines

memory-game-in-email-poc. HTML

pipes-rs. An over-engineered rewrite of pipes.sh in Rust

chota. A micro (3kb) CSS framework

react-use-idb. React side-effect hook that manages a single indexDB item.

geist-ui. A design system for building modern websites and applications.

Digital-Logic-Sim. C#

rust-memory-container-cs. Rust Memory Container Cheat-sheet

theschoolofathens. Python

qriollo. El lenguaje de programación más boludo del mundo.

ConstitucionArgentina. Reimaginación digital de la Constitución de la Nación Argentina

CheLang. CheLang es un lenguaje de programación esotérico argento. Ni más, ni menos. Es la que va.

mermaid. Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown

glob-to-drive. GitHub Action that takes a glob, finds files and uploads them to Google Drive

vim_cubed. Vim rendered on a cube for no reason

FlyingFox. An opinionated set of configurations for firefox.

Money-printer-go-BRRR. Print it, baby!

build-your-own-x. Master programming by recreating your favorite technologies from scratch.

free-programming-books. :books: Freely available programming books

public-apis. A collective list of free APIs

Computer-Science-Resources. Collection of resources spanning key areas of Computer Science

spotify-tui. Spotify for the terminal written in Rust 🚀