luiswirth

cubecl

Multi-platform high-performance compute language extension for Rust.

formoniq

Arbitrary Dimension Finite Element Exterior Calculus in Rust

Athena

A user-friendly CAS with intuitive math syntax

burn

Burn is a new comprehensive dynamic Deep Learning Framework built using Rust with extreme flexibility, compute efficiency and portability as its primary goals.

lsp-ai

LSP-AI is an open-source language server that serves as a backend for AI-powered functionality, designed to assist and empower software engineers, not replace them.

tmpmail

A temporary email right from your terminal written in POSIX sh

Hyprspace

Workspace overview plugin for Hyprland

jj

A Git-compatible VCS that is both simple and powerful

nh

Yet another nix cli helper

npde-summary

yazi

💥 Blazing fast terminal file manager written in Rust, based on async I/O.

hy3

Hyprland plugin for an i3 / sway like manual tiling layout

hyprland-virtual-desktops

A plugin for the Hyprland compositor, implementing virtual-desktop functionality.

hyprsplit

hyprland plugin for separate sets of workspaces on each monitor

penrose

Create beautiful diagrams just by typing notation in plain text.

Cisco_STARTHACK24

Bear

Bear is a tool that generates a compilation database for clang tooling.

dexterior

Discrete Exterior Calculus toolkit for Rust

egui-file-dialog

Full featured and customizable file dialog for egui

nix-direnv

A fast, persistent use_nix/use_flake implementation for direnv [maintainer=@Mic92 / @bbenne10]

uttt

Ultimate Tic-Tac-Toe

lean4

Lean 4 programming language and theorem prover

formalising-mathematics

Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

cetz

CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.

yuki

雪 - Yuki | Snowflake :snowflake:

crawler

An asynchronous web crawler.

typst-plot

Typst Plotting Library

typst

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

polylux

A package for creating slides in Typst

idek

Yet another VR-capable Vulkan rendering engine written in Rust. Aims at having a small, specific set of capabilities for prototyping and visualization