Skip to content
View malbarbo's full-sized avatar
114 followers · 0 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Block or report malbarbo

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

Stars

Showing results

malbarbo / na-proglog

Notas de aula sobre o paradigma de programação lógico

Prolog 1 1 Updated Mar 19, 2024

malbarbo / na-progfun

Notas de aula sobre o paradigma de programação funcional

Gleam 7 3 Updated Aug 20, 2026

malbarbo / na-ed

Python 3 Updated Dec 8, 2025

microsoft / edit

We all edit.

Rust 14,480 723 Updated Aug 23, 2026

CanadaHonk / porffor

An ahead-of-time JavaScript compiler

JavaScript 5,029 129 Updated Aug 12, 2026

drogus / jawsm

JavaScript to WASM compiler

Rust 1,101 22 Updated Apr 6, 2025

LingDong- / wax

A tiny programming language that transpiles to C, C++, Java, TypeScript, Python, C#, Swift, Lua and WebAssembly 🚀

C 855 57 Updated Mar 3, 2025

HigherOrderCO / Kind

A modern proof language

Haskell 3,767 151 Updated Jan 22, 2025

memtest86plus / memtest86plus

Official repo for Memtest86+

C 1,754 133 Updated Aug 19, 2026

marmolak / gray486linux

Custom build Linux distribution for netbooted 486 machine.

C 52 7 Updated May 12, 2026

mthom / scryer-prolog

A modern Prolog implementation written mostly in Rust.

Rust 2,445 168 Updated Aug 21, 2026

boazbk / tcs

Book in preparation: introduction to theoretical computer science

TeX 1,063 205 Updated Mar 18, 2024