Kha

Kha's Stars

• NixOS/nixpkgs

  Nix Packages collection & NixOS

  Language:Nix19.9k27246.2k15.4k

• rust-lang/mdBook

  Create book from markdown files. Like Gitbook but implemented in Rust

  Language:Rust19.4k1221.4k1.7k

• nix-community/home-manager

  Manage a user environment using Nix [maintainer=@rycee]

  Language:Nix7.8k522.5k2k

• YaLTeR/niri

  A scrollable-tiling Wayland compositor.

  Language:Rust6.7k24533220

• emacs-lsp/lsp-mode

  Emacs client/library for the Language Server Protocol

  Language:Emacs Lisp4.9k872.1k908

• mstange/samply

  Command-line sampling profiler for macOS, Linux, and Windows

  Language:Rust2.8k1810965

• leanprover-community/mathlib4

  The math library of Lean 4

  Language:Lean1.8k36457396

• leanprover-community/mathlib3

  Lean 3's obsolete mathematical components library: please use mathlib4

  Language:Lean1.7k52362294

• hauntsaninja/pyp

  Easily run Python at the shell! Magical, but never mysterious.

  Language:Python1.4k102239

• DavHau/nix-portable

  Nix - Static, Permissionless, Installation-free, Pre-configured

  Language:Nix988167437

• koute/not-perf

  A sampling CPU profiler for Linux

  Language:Rust883283042

• NixOS/rfcs

  The Nix community RFCs

  Language:Markdown5741290162

• AndrasKovacs/smalltt

  Demo for high-performance type theory elaboration

  Language:Lean54132428

• msys2/setup-msys2

  GitHub Action to setup MSYS2

  Language:JavaScript330910041

• leanprover-community/aesop

  White-box automation for Lean 4

  Language:Lean25377531

• cpitclaudel/alectryon

  A collection of tools for writing technical documents that mix Coq code and prose.

  Language:HTML252107934

• wilbowma/cur

  A less devious proof assistant

  Language:Racket2241710518

• leanprover/lake

  **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.

  Language:Lean99139720

• leanprover-community/iris-lean

  Lean 4 port of Iris, a higher-order concurrent separation logic framework

  Language:Lean9223510

• leanprover-community/lean4web

  The Lean 4 web editor

  Language:TypeScript87104232

• leanprover-community/quote4

  Intuitive, type-safe expression quotations for Lean 4.

  Language:Lean8262213

• leanprover/LeanInk

  LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.

  Language:Lean60162716

• IPDSnelting/tba-2021

  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition

  Language:Lean50922

• leanprover-community/mathport

  Mathport is a tool for porting Lean3 projects to Lean4

  Language:Lean4388514

• ammkrn/nanoda

  A type checker for the Lean theorem prover

  Language:Rust41923

• The-Compiler/journalwatch

  Simple log parsing utility for the systemd journal

  Language:Python363165

• IPDSnelting/velcom

  Continuous benchmarking

  Language:Java145711

• dselsam/binport

  A tool for building Lean4 .olean files from Lean3 export data

  Language:Lean109251

• hargoniX/Flame

  Language:Lean9221

• xubaiw/Reservoir.lean

  WIP unofficial package registry of Lean 4

  Language:Lean6151