Skip to content
View clarete's full-sized avatar
🌴
On vacation
🌴
On vacation

Highlights

  • Pro

Organizations

@recursecenter @Guake @BlueRidgeLabs @co-lab
Block or Report

Block or report clarete

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Starred repositories

Showing results

A massively parallel, optimal functional runtime in Rust

Cuda 10,319 389 Updated Jul 11, 2024

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

Rust 3,236 102 Updated Jul 22, 2024

Borgo is a statically typed language that compiles to Go.

Rust 3,584 50 Updated Jul 3, 2024

a model of MIR and the Rust type/trait system

Rust 277 32 Updated Jul 20, 2024

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

C 1,053 114 Updated Dec 16, 2020

List of bugs found in distributed protocols

TeX 188 8 Updated May 15, 2024

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

Python 567 13 Updated Jan 3, 2024

The Stratagus strategy game engine

C++ 614 115 Updated Jul 14, 2024

A Language Server for Postgres

Rust 3,182 59 Updated Jul 21, 2024

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

Shell 6,407 278 Updated Dec 31, 2023

Database system for AI-powered apps

Python 2,615 262 Updated May 17, 2024

Official Rust implementation of Apache Arrow

Rust 2,364 692 Updated Jul 22, 2024

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

Rust 31,124 836 Updated Jul 22, 2024

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.

Jupyter Notebook 2,366 314 Updated Jul 21, 2024

💫 vertico.el - VERTical Interactive COmpletion

Emacs Lisp 1,406 59 Updated Jul 18, 2024

A post-apocalyptic actionRPG. Now on Steam!

Common Lisp 608 29 Updated Jun 22, 2024

GNU Emacs notebook mode

Emacs Lisp 603 29 Updated Jul 19, 2023

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

C++ 18,340 764 Updated Jul 22, 2024

A data-first Rust-native UI design toolkit.

Rust 9,452 569 Updated May 23, 2024

The Jakt Programming Language

C++ 2,792 243 Updated Jul 22, 2024

The Memetalk programming system

C++ 3 1 Updated Jan 19, 2018

Rusty Object Notation

Rust 3,227 118 Updated Jun 11, 2024

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

C 6,862 226 Updated Jul 18, 2024

SeaweedFS is a fast distributed storage system for blobs, objects, files, and data lake, for billions of files! Blob store has O(1) disk seek, cloud tiering. Filer supports Cloud Drive, cross-DC ac…

Go 21,826 2,218 Updated Jul 22, 2024

A pure Rust implementation of WebRTC

Rust 3,948 348 Updated Jul 19, 2024

Tide - TypeScript Interactive Development Environment for Emacs

Emacs Lisp 1,447 108 Updated Jun 20, 2023

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

Emacs Lisp 499 22 Updated Sep 14, 2023
Emacs Lisp 2 Updated Dec 21, 2019
JavaScript 7 4 Updated Mar 29, 2024
Next