A type system simulator, hopefully solving the "tooling issue" present in Type Theory

The third iteration of my social media network (the others are on Codeberg), now for school yet better in every way.

Unintentional name reveal!

My dotfiles and configuration stuff, managed by a git bare directory

An assembly like language that is easy to adapt for any purpose (currently incomplete)

Keyboard oriented Acme style editing for Neovim

Simple (and tiny) pattern matching library in C99 inspired by the Lua string replacement library

Stack based esolang for data manipulation

Una página web para poner historias interactivas de Interia

A simple and lightning fast AUR searcher

Very simple task list format (includes read/write library and a CLI reader client)

Simple and easy way of generating documentation from comments, language agnostic, great for small proyects

A WIP Lua game engine for scripting games quickly and easily

A simple and generic string parser made in Lua

A simple and tiny POSIX C99 dynamic stack implementation

Motor de Historias Interactivas, hecho en Lua para la feria de ciencias

A file manager inspired on NetRW from Vim

A simple way to manage ANSI escape sequences

A lot of hand picked wallpapers together with a shell script that sets one of them as your active wallpaper randomly

My Doom Emacs config that makes org pretty

A simple readline shell wrapper, designed for dash

A little calculator program to test my coding "skills" :) Forked from T4rtP1ck13/Terminal-Based-Calculator

My vimrc, disables arrow keys

A collection of simple yet very useful shell scripts

My dwm build (status bar included), still a WIP but usable

My green build of dmenu

Very small Linux distro

A simple TimeLine viewer for the terminal and for X (WIP)

Uncompressed File Storing Format made in Lua