Skip to content
View lenianiva's full-sized avatar
πŸ”§
Renai Continuous Integration
πŸ”§
Renai Continuous Integration

Organizations

@stanford-centaur @cvc5

Block or report lenianiva

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
Showing results

An opinionated code formatter for Julia. Plot twist - the opinion is your own.

Julia 641 82 Updated Aug 10, 2026

A package that allows Julia to display images in the kitty terminal editor

Julia 109 10 Updated Oct 9, 2024

KiCad plugin to determine the parasitic properties of the printed tracks in the PCB layout.

Python 65 9 Updated Jul 5, 2026

πŸ‘» Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

Zig 59,568 3,248 Updated Aug 13, 2026

Standalone Nix CI service for NixOS

Python 66 8 Updated Aug 11, 2026

Parallel nix evaluator with a streamable json output [maintainers @Mic92, @adisbladis]

C++ 267 58 Updated Aug 10, 2026

A nixos module to make buildbot a proper Nix-CI [maintainer=@Mic92,@MagicRB]

Python 284 43 Updated Aug 9, 2026

Pure Julia implementation of the Cooley-Tukey FFT Algorithm

Julia 3 Updated Jul 3, 2026

Open Source Theremin Instrument

C 235 26 Updated Dec 8, 2025

Software synthesizer based on the SoundFont 2 specifications

C 2,456 329 Updated Aug 11, 2026

Espressif IoT Development Framework. Official development framework for Espressif SoCs.

C 18,767 8,428 Updated Aug 12, 2026

graphics framework for sveltejs

Svelte 1,785 42 Updated Aug 11, 2026

JavaScript animation engine

JavaScript 72,106 4,857 Updated Aug 9, 2026

Bring data to life with SVG, Canvas and HTML. πŸ“ŠπŸ“ˆπŸŽ‰

Shell 113,447 22,683 Updated May 28, 2026
Julia 85 12 Updated Jan 9, 2026

CLI app for compiling and bundling julia binaries, especially trimmed ones

Julia 281 25 Updated Aug 8, 2026

A collection of numeric types and traits for Rust.

Rust 1,220 150 Updated Jul 7, 2026

A simple sheet metal workbench for FreeCAD

Python 335 86 Updated Aug 10, 2026

Reusable array functionality for Julia's various GPU backends.

Julia 446 103 Updated Aug 12, 2026

🌸 Learn Japanese grammar with TypeScript

TypeScript 1,940 23 Updated Jun 21, 2026

QGIS is a free, open source, cross platform (lin/win/mac) geographical information system (GIS)

C++ 14,208 3,485 Updated Aug 13, 2026

A Minesweeper implementation in Rocq, extracted to C++ via Crane.

Rocq Prover 9 Updated May 2, 2026

Japanese legislation as a Git repo.

Python 100 Updated Apr 2, 2026

A Foreign Function Interface (FFI) to cvc5 solver in Lean.

Lean 25 13 Updated Aug 11, 2026

tokio::select! that can be formatted by rustfmt

Rust 31 Updated Mar 29, 2026

Fast, differentiable moist thermodynamics for Earth system models.

Julia 92 5 Updated Aug 12, 2026

Workbench to render CadQuery 2.x script in FreeCAD

Python 30 6 Updated Oct 31, 2021

Legacy index for FreeCAD < 1.0.0

1,109 336 Updated Jul 24, 2026
Next