-
Stanford University Centaur Lab
- San Francisco Bay Area, Gensokyo
-
00:46
(UTC -07:00) - https://leni.sh
- https://orcid.org/0000-0002-6033-9140
- @aniva.bsky.social
- https://codeberg.org/aniva
Lists (13)
Sort Name ascending (A-Z)
CAD
Circuits
Electronic CircuitsCompilers / Optimization
Desktop Environment
RicingEditor
Editor toolsGraphics
Games, Visualizations, RendersMATP Engineering
MATP Dependencies for High Performance Symbolic ProcessingMultimedia
Audio and videoStars
An opinionated code formatter for Julia. Plot twist - the opinion is your own.
A package that allows Julia to display images in the kitty terminal editor
KiCad plugin to determine the parasitic properties of the printed tracks in the PCB layout.
π» Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
Parallel nix evaluator with a streamable json output [maintainers @Mic92, @adisbladis]
A nixos module to make buildbot a proper Nix-CI [maintainer=@Mic92,@MagicRB]
Pure Julia implementation of the Cooley-Tukey FFT Algorithm
Software synthesizer based on the SoundFont 2 specifications
Espressif IoT Development Framework. Official development framework for Espressif SoCs.
Bring data to life with SVG, Canvas and HTML. πππ
CLI app for compiling and bundling julia binaries, especially trimmed ones
A collection of numeric types and traits for Rust.
A simple sheet metal workbench for FreeCAD
Reusable array functionality for Julia's various GPU backends.
πΈ Learn Japanese grammar with TypeScript
QGIS is a free, open source, cross platform (lin/win/mac) geographical information system (GIS)
A Minesweeper implementation in Rocq, extracted to C++ via Crane.
A Foreign Function Interface (FFI) to cvc5 solver in Lean.
tokio::select! that can be formatted by rustfmt
Fast, differentiable moist thermodynamics for Earth system models.
Workbench to render CadQuery 2.x script in FreeCAD