luiswirth's Stars
typst/typst
A new markup-based typesetting system that is powerful and easy to learn.
sxyazi/yazi
💥 Blazing fast terminal file manager written in Rust, based on async I/O.
tracel-ai/burn
Burn is a new comprehensive dynamic Deep Learning Framework built using Rust with extreme flexibility, compute efficiency and portability as its primary goals.
martinvonz/jj
A Git-compatible VCS that is both simple and powerful
penrose/penrose
Create beautiful diagrams just by typing notation in plain text.
rizsotto/Bear
Bear is a tool that generates a compilation database for clang tooling.
leanprover/lean4
Lean 4 programming language and theorem prover
sdushantha/tmpmail
A temporary email right from your terminal written in POSIX sh
SilasMarvin/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.
nix-community/nix-direnv
A fast, persistent use_nix/use_flake implementation for direnv [maintainer=@Mic92 / @bbenne10]
andreasKroepelin/polylux
A package for creating slides in Typst
viperML/nh
Yet another nix cli helper
cetz-package/cetz
CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.
tracel-ai/cubecl
Multi-platform high-performance compute language extension for Rust.
outfoxxed/hy3
Hyprland plugin for an i3 / sway like manual tiling layout
KZDKM/Hyprspace
Workspace overview plugin for Hyprland
rxyhn/yuki
雪 - Yuki | Snowflake :snowflake:
ImperialCollegeLondon/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
shezdy/hyprsplit
hyprland plugin for separate sets of workspaces on each monitor
levnikmyskin/hyprland-virtual-desktops
A plugin for the Hyprland compositor, implementing virtual-desktop functionality.
johannes-wolf/typst-plot
Typst Plotting Library
fluxxcode/egui-file-dialog
Full featured and customizable file dialog for egui
luiswirth/formoniq
Rust Implementation of Finite Element Exterior Calculus on Coordinate-Free Simplicial Complexes
luiswirth/uttt
Ultimate Tic-Tac-Toe
m0lentum/dexterior
Discrete Exterior Calculus toolkit for Rust
luiswirth/crawler
An asynchronous web crawler.
Masterchef365/idek
Yet another VR-capable Vulkan rendering engine written in Rust. Aims at having a small, specific set of capabilities for prototyping and visualization
dlamei/Athena
A user-friendly CAS with intuitive math syntax
START-Hack/Cisco_STARTHACK24
valentinvogt/npde-summary