Alba Mendez's repositories
cursed_gpu_linux
⚙️ Attempt to run Linux in a GPU shader
node_netlink
⚒ Use Netlink from Node.js
node_bpfcc
🔬 BPF Compiler Collection (BCC) frontend for Node.js
finite-algebra
♾ (prototype of) library for finite algebra
mildsunrise
personal info 😊
agda-language-server
Language Server for Agda
agda-stdlib
The Agda standard library
aoc-2023
solutions to the Advent of Code 2023
browser-compat-data
This repository contains compatibility data for Web technologies as displayed on MDN
Ciberbot-Transfemeni
Ciberbot Transfemení
DefinitelyTyped
The repository for high quality TypeScript type definitions.
event-emitter
Medooze EventEmitter
OpenSC
Open source smart card tools and middleware. PKCS#11/MiniDriver/Tokend
openssl
TLS/SSL and crypto library
qoi
The “Quite OK Image Format” for fast, lossless image compression
semantic-sdp-js
WebRTC Semantic SDP - Minimal SDP information semantic data model and parsing tools
transaction-manager
Simple transaction manager for json messages
university-2a-dgd-memories
📚 Reports for lab projects in DGD
vsmartcard
umbrella project for emulation of smart card readers or smart cards
youtube-dl
Command-line program to download videos from YouTube.com and other video sites