Skip to content
View Alf0nso's full-sized avatar
💻
Some times I turn it off
💻
Some times I turn it off

Organizations

@devpt-org

Block or report Alf0nso

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 is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

Public source code for the website https://hyaline.systems

JavaScript 10 8 Updated Jun 12, 2025

Forth VM and statically-typed s-expression compiler, written in C++ and Scryer Prolog

Prolog 17 Updated Apr 7, 2026

Rhythm game demonstrating the feasibility of functional-reactive games

Haskell 3 Updated Jul 22, 2023

Scalable graph analytics database powered by a multithreaded, vectorized temporal engine, written in Rust

Rust 602 66 Updated Apr 10, 2026

Awesome emacs config files

1,524 103 Updated Mar 16, 2026

A new approach to Emacs - Including TypeScript, Threading, Async I/O, and WebRender.

Emacs Lisp 1,802 74 Updated Mar 18, 2026

The LLVM-based D Compiler.

D 1,328 282 Updated Apr 9, 2026

Blowing the whistle through a news app

Rust 334 13 Updated Apr 1, 2026
Emacs Lisp 3 Updated Nov 29, 2023

Manage git worktrees from within Neovim

Lua 2 Updated Mar 9, 2026

L. L. Odette's Prolog Virtual Machine (PVM) implemented in Forth. Upgraded to 32 Bit ANSI Forth. Tested on ForthWin.

Forth 30 2 Updated Aug 20, 2021
C++ 231 8 Updated Mar 5, 2026
C++ 78 12 Updated Mar 29, 2024

i3-compatible Wayland compositor

C 16,775 1,240 Updated Apr 12, 2026

A design system for building retro Apple interfaces

CSS 3,753 122 Updated Nov 26, 2023

This repo is the new home of Proof General

Emacs Lisp 550 100 Updated Jan 24, 2026

mal - Make a Lisp

Assembly 10,614 2,685 Updated Oct 22, 2025

Official main repository for LFortran

C++ 1,198 260 Updated Apr 11, 2026

Rust programming, in Portuguese.

Rust 12 1 Updated Feb 12, 2026

Mirror of JONESFORTH

Assembly 1,111 158 Updated Apr 4, 2023

Program Round-off Error Certifier via Static Analysis

Haskell 56 11 Updated Dec 8, 2025

A collective list of free APIs

Python 421,103 45,841 Updated Mar 18, 2026

Generate passwords, via mnemonics and counters.

Rust 4 Updated Dec 15, 2025

a playground for making 3D art with lisp and math

Janet 569 13 Updated Nov 25, 2025

Pure Data - a free real-time computer music system

C 1,989 281 Updated Mar 31, 2026

Prolog like implementation for embedded systems.

C++ 6 1 Updated Aug 13, 2018

a suckless, x11 (and wayland) on screen pet

C 139 5 Updated Dec 20, 2025

A compendium of absurd "open-source" licenses.

2,003 71 Updated Jan 14, 2026

Middleware Oficial de Identificação Eletrónica em Portugal - Cartão de Cidadão, da Chave Móvel Digital e Sistema de Certificação de atributos profissionais

C++ 216 39 Updated Apr 10, 2026

p5.js is a client-side JS platform that empowers artists, designers, students, and anyone to learn to code and express themselves creatively on the web. It is based on the core principles of Proces…

JavaScript 23,584 3,746 Updated Apr 11, 2026
Next