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 640 83 Updated Jul 27, 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 63 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 58,733 3,143 Updated Jul 27, 2026

Standalone Nix CI service for NixOS

Python 59 5 Updated Jul 26, 2026

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

C++ 262 58 Updated Jul 16, 2026

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

Python 281 43 Updated Jul 26, 2026

Pure Julia implementation of the Cooley-Tukey FFT Algorithm

Julia 3 Updated Jul 3, 2026

Open Source Theremin Instrument

C 232 26 Updated Dec 8, 2025

Software synthesizer based on the SoundFont 2 specifications

C 2,432 326 Updated Jul 26, 2026

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

C 18,623 8,404 Updated Jul 24, 2026

graphics framework for sveltejs

Svelte 1,783 42 Updated Jul 18, 2026

JavaScript animation engine

JavaScript 71,526 4,809 Updated Jun 22, 2026

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

Shell 113,293 22,689 Updated May 28, 2026
Julia 84 12 Updated Jan 9, 2026

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

Julia 278 24 Updated Jul 14, 2026

A collection of numeric types and traits for Rust.

Rust 1,219 150 Updated Jul 7, 2026

A simple sheet metal workbench for FreeCAD

Python 328 83 Updated Jul 25, 2026

Reusable array functionality for Julia's various GPU backends.

Julia 443 102 Updated Jul 26, 2026

🌸 Learn Japanese grammar with TypeScript

TypeScript 1,936 23 Updated Jun 21, 2026

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

C++ 14,124 3,485 Updated Jul 27, 2026

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

Rocq Prover 8 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 12 Updated Jul 13, 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 Jul 14, 2026

Workbench to render CadQuery 2.x script in FreeCAD

Python 29 6 Updated Oct 31, 2021

Legacy index for FreeCAD < 1.0.0

1,106 337 Updated Jul 24, 2026
Next