lenianiva

lenianiva's Stars

• tailwindlabs/tailwindcss

  A utility-first CSS framework for rapid UI development.

  Language:TypeScript84.2k6203.6k4.3k

• sveltejs/svelte

  web development for the rest of us

  Language:JavaScript80.6k8497.7k4.3k

• shadcn-ui/ui

  Beautifully designed components that you can copy and paste into your apps. Accessible. Customizable. Open Source.

  Language:TypeScript77.3k2502.6k4.9k

• NixOS/nixpkgs

  Nix Packages collection & NixOS

  Language:Nix18.7k27543.5k14.5k

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.5k1825.6k1.5k

• vosen/ZLUDA

  CUDA on non-NVIDIA GPUs

  Language:Rust10k135182661

• elkowar/eww

  ElKowars wacky widgets

  Language:Rust9.6k43738399

• concourse/concourse

  Concourse is a container-based continuous thing-doer written in Go.

  Language:Go7.5k1485k848

• huntabyte/shadcn-svelte

  shadcn/ui, but for Svelte. ✨

  Language:Svelte5.7k47688347

• rust-lang/rust-bindgen

  Automatically generates Rust FFI bindings to C (and some C++) libraries.

  Language:Rust4.5k581.5k711

• alibaba/butterfly

  🦋Butterfly，A JavaScript/React/Vue2 Diagramming library which concentrate on flow layout field. (基于JavaScript/React/Vue2的流程图组件)

  Language:JavaScript4.5k73338604

• emacs-mirror/emacs

  Mirror of GNU Emacs

  Language:Emacs Lisp4.5k27301.3k

• CadQuery/cadquery

  A python parametric CAD scripting framework based on OCCT

  Language:Python3.3k601.1k299

• rkyv/rkyv

  Zero-copy deserialization framework for Rust

  Language:Rust3k20419182

• pngwn/MDsveX

  A markdown preprocessor for Svelte.

  Language:JavaScript2.5k18373106

• nix-community/nixos-anywhere

  install nixos everywhere via ssh [maintainer=@numtide]

  Language:Shell1.8k14152121

• leanprover-community/mathlib4

  The math library of Lean 4

  Language:Lean1.6k36428356

• serokell/deploy-rs

  A simple multi-profile Nix-flake deploy tool.

  Language:Rust1.4k25180100

• verus-lang/verus

  Verified Rust for low-level systems code

  Language:Rust1.3k2548676

• zhaofengli/attic

  Multi-tenant Nix Binary Cache

  Language:Rust1.1k1513986

• nix-community/dream2nix

  Simplified nix packaging for various programming language ecosystems [maintainer=@DavHau]

  Language:Nix1.1k16291127

• ipetkov/crane

  A Nix library for building cargo projects. Never build twice thanks to incremental artifact caching.

  Language:Nix980524892

• DeterminateSystems/magic-nix-cache-action

  Save 30-50%+ of CI time without any effort or cost. Use Magic Nix Cache, a totally free and zero-configuration binary cache for Nix on GitHub Actions.

  Language:TypeScript40782915

• lecopivo/SciLean

  Scientific computing in Lean 4

  Language:Lean351204031

• leanprover-community/batteries

  The "batteries included" extended library for the Lean programming language and theorem prover

  Language:Lean2641662108

• nix-community/pyproject.nix

  A collection of Nix utilities to work with Python projects [maintainer=@adisbladis]

  Language:Nix133101511

• fragarriss/CurVis

  A Rust raytracer over curved spacetimes

  Language:Rust59

• argumentcomputer/LSpec

  A Testing Framework for Lean

  Language:Lean466157

• gergo-salyi/multibg-sway

  Set a different wallpaper for the background of each Sway workspace

  Language:Rust30291

• AdrienChampion/hashconsing

  A Rust hashconsing library.

  Language:Rust24396