🌴
Highlights
- Pro
Starred repositories
Tool for targetting the WebAssembly Component Model using Python
An implementation of a full fledged Lisp interpreter with Data Structure, Pattern Programming and High level Functions with Lazy Evaluation à la Haskell.
A security-focused library OS supporting kernel- and user-mode execution
G-Portugol é uma linguagem de programação, de alto nível, desenvolvida totalmente em português
Github Pages template based upon HTML and Markdown for personal, portfolio-based websites.
λ² is a tool for synthesizing functional programs from input-output examples.
Org Social is a decentralized social network that runs on an Org Mode file over HTTP.
Code and model to control the AH!
The official repository of Mozilla's Firefox web browser.
A massively parallel, optimal functional runtime in Rust
A hardware-accelerated GPU terminal emulator focusing to run in desktops and browsers.
Borgo is a statically typed language that compiles to Go.
a model of MIR and the Rust type/trait system
A tiny hand crafted CPU emulator, C compiler, and Operating System
List of bugs found in distributed protocols
A FOSS, cross-platform version of GitHub Actions and Gitlab CI
A Language Server for Postgres
📖 A collection of pure POSIX sh alternatives to external processes.
Official Rust implementation of Apache Arrow
A markup-based typesetting system that is powerful and easy to learn.
An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.
💫 vertico.el - VERTical Interactive COmpletion
A post-apocalyptic actionRPG. Now on Steam!