Lincoln Clarete

revo. a dynamic language for the joy of programming

jam. Jam Programming Language

dodder. an immutable cryptographic object graph with a robust and recursive type system that takes the best parts of Git, Nix, and Zettelkasten and allows you manage content, knowledge, builds, deployments and more.

circ-compiler. A small language for building and simulating logic circuits - for people learning how computers work. In the spirit of Nand2Tetris and Petzold's Code.

bp. A parsing expression grammar command line tool.

git-ai. A Git extension for tracking the AI-generated code in your repos

slap. linear concat language

componentize-py. Tool for targeting the WebAssembly Component Model using Python

lispe. An implementation of a full fledged Lisp interpreter with Data Structure, Pattern Programming and High level Functions with Lazy Evaluation à la Haskell.

litebox. A security-focused library OS supporting kernel- and user-mode execution

gpt. G-Portugol é uma linguagem de programação, de alto nível, desenvolvida totalmente em português

academicpages.github.io. Github Pages template based upon HTML and Markdown for personal, portfolio-based websites.

L2. λ² is a tool for synthesizing functional programs from input-output examples.

externis. Generate profiling traces for GCC

org-social. Org Social is a decentralized social network that runs on an Org Mode file over HTTP.

AmazingHand. Code and model to control the AH!

RESPEG. Rewriting Semantics for PEGs

fuzzilli. A JavaScript Engine Fuzzer

firefox. The official repository of Mozilla's Firefox web browser.

HVM2. A massively parallel, optimal functional runtime in Rust

rio. A hardware-accelerated GPU terminal emulator focusing to run in desktops and browsers.

borgo. Borgo is a statically typed language that compiles to Go.

a-mir-formality. a model of MIR and the Rust type/trait system

swieros. A tiny hand crafted CPU emulator, C compiler, and Operating System

protocol-bugs-list. List of bugs found in distributed protocols

cicada. A FOSS, cross-platform version of GitHub Actions and Gitlab CI

stratagus. The Stratagus strategy game engine

postgres-language-server. A Language Server for Postgres

pure-sh-bible. 📖 A collection of pure POSIX sh alternatives to external processes.

evadb. Database system for AI-powered apps

arrow-rs. Official Rust implementation of Apache Arrow

typst. A markup-based typesetting system that is powerful and easy to learn.

selfie. 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. :dizzy: vertico.el - VERTical Interactive COmpletion

kandria. A post-apocalyptic actionRPG. Now on Steam!

notebook-mode. GNU Emacs notebook mode

Hyprland. Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.

druid. A data-first Rust-native UI design toolkit.

jakt. The Jakt Programming Language

memetalk. The Memetalk programming system

ron. Rusty Object Notation

sioyek. Sioyek is a PDF viewer with a focus on textbooks and research papers

seaweedfs. SeaweedFS is a distributed storage system for object storage (S3), file systems, and Iceberg tables, designed to handle billions of files with O(1) disk access and effortless horizontal scaling.

webrtc. Async-friendly WebRTC implementation in Rust

tide. Tide - TypeScript Interactive Development Environment for Emacs

frontmacs. Package-based, web-centric, customizable, awesome-by-default, acceptance-tested Emacs distribution

dotfiles. Emacs Lisp

polymatic. JavaScript

manifestotech.

metalnes. Transistor level NES simulation

ergex. The Ergex Regular Expression Library

BLAKE3. the official Rust and C implementations of the BLAKE3 cryptographic hash function

luau. A small, fast, and embeddable programming language based on Lua with a gradual type system.

math. 🧮 Path to a free self-taught education in Mathematics!

kerla. A new operating system kernel with Linux binary compatibility written in Rust.

tsbs. Time Series Benchmark Suite, a tool for comparing and evaluating databases for time series data

love-emacs. An emacs configuration to fall in love

firecracker. Secure and fast microVMs for serverless computing.

rucene. Rust port of Lucene

weblorg-template. A template to start quickly

slint. Slint is an open-source declarative GUI toolkit to build native user interfaces for Rust, C++, JavaScript, or Python apps.

vaultwarden. Unofficial Bitwarden compatible server written in Rust, formerly known as bitwarden_rs

refactor. AST-based fragmental source code refactoring toolkit for Python

InfiniTime. Firmware for Pinetime smartwatch written in C++ and based on FreeRTOS

pinetime-rust-mynewt. PineTime Smart Watch firmware based on Rust and Apache Mynewt OS

passerine. A small extensible programming language designed for concise expression with little code.

mynewt-nimble. Apache mynewt

ergo. An actor-based Framework with network transparency for creating event-driven architecture in Golang. Inspired by Erlang. Zero dependencies.

Chat. Python

harfbuzz. HarfBuzz text shaping engine

git-auto-commit-mode. Automatically commit to git after each save

tigerbeetle. The financial transactions database designed for mission critical safety and performance.

rustc_codegen_gcc. libgccjit AOT codegen for rustc

COVID-19. Novel Coronavirus (COVID-19) Cases, provided by JHU CSSE

Second-Climacs. Version 2 of the Climacs text editor.

scanapi. Automated Integration Testing and Live Documentation for your API

nelua-lang. Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.

polonius. Defines the Rust borrow checker.

rfcs. RFCs for changes to Rust

rust. Empowering everyone to build reliable and efficient software.

glommio. Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier for rustaceans.

cinder. This is Meta's fork of the CPython runtime. The name "cinder" here is historical, see https://github.com/facebookincubator/cinderx for the Python extension / JIT compiler.

verilog-6502. A Verilog HDL model of the MOS 6502 CPU

esp32-hal. A hardware abstraction layer for the esp32 written in Rust.

leis_abertas. Jupyter Notebook

linux. Adding support for the Rust language to the Linux kernel.

netdata. The fastest path to AI-powered full stack observability, even for lean teams.

ec. System76 Open Source Embedded Controller

company-box. A company front-end with icons

eldev. Elisp development tool

codeql. CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security

OpenBB. Open Data Platform for analysts, quants and AI agents.

grub2-themes. Modern Design theme for Grub2

yacv. Yet Another Compiler Visualizer

weblorg-docker. A companion container image for emacs-love/weblorg

dolt. Dolt – Git for Data

flowchart-fun. Easily generate flowcharts and diagrams from text ⿻

gitlab-lint. An open source gitlab linting utility

gitlab-lint-react. An open source gitlab linting utility

lccambiaghi.github.io. HTML