lecopivo/lean4-karray external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

lecopivo/lean4-karray

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/lecopivo/lean4-karray)

Close

lecopivo / lean4-karrayView on GitHubMore

• External links
• Readme badge

☆13Jan 23, 2022Updated 4 years ago

Alternatives and similar repositories for lean4-karray

Users that are interested in lean4-karray are comparing it to the libraries listed below

• arthurpaulino / NumLean

  View on GitHub
  A Lean 4 package for heavy numerical computations
  ☆20Jan 16, 2022Updated 4 years ago
• tydeu / lean4-itertools

  View on GitHub
  A Lean 4 library for iterators.
  ☆14Dec 10, 2023Updated 2 years ago
• lecopivo / HouLean

  View on GitHub
  Lean 4 as a scripting language in Houdini
  ☆21Mar 13, 2024Updated 2 years ago
• argumentcomputer / LSpec

  View on GitHub
  A Testing Framework for Lean
  ☆76Mar 6, 2026Updated 2 weeks ago
• Kha / do-supplement

  View on GitHub
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆14Feb 15, 2025Updated last year
• ammkrn / timelib

  View on GitHub
  A date and time library for Lean 4
  ☆14Apr 12, 2025Updated 11 months ago
• crabbo-rave / Soup

  View on GitHub
  Extra and extended datatypes for Lean 4
  ☆12Nov 12, 2022Updated 3 years ago
• arthurpaulino / LeanMySQL

  View on GitHub
  A MySQL API for Lean 4
  ☆20Mar 11, 2022Updated 4 years ago
• tydeu / lean4-alloy

  View on GitHub
  Write C shims from within Lean code.
  ☆82Jul 13, 2025Updated 8 months ago
• JamesGallicchio / LeanColls

  View on GitHub
  WIP collections library for Lean 4
  ☆32May 8, 2025Updated 10 months ago
• MixedMatched / juniper

  View on GitHub
  A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4
  ☆22Jan 15, 2025Updated last year
• bollu / lean-to

  View on GitHub
  Jupyter notebook for the Lean4 programming language
  ☆25Apr 25, 2022Updated 3 years ago
• Julian / lftim

  View on GitHub
  Mathematical learnings with Lean, for those of us who wish we knew more of both!
  ☆10Aug 27, 2022Updated 3 years ago
• xubaiw / Socket.lean

  View on GitHub
  A toy implementation of socket programming for Lean 4.
  ☆27Feb 23, 2023Updated 3 years ago
• leanprover / LeanInk

  View on GitHub
  LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
  ☆66Jul 18, 2024Updated last year
• arthurpaulino / FxyLang

  View on GitHub
  ☆16Jun 20, 2022Updated 3 years ago
• Kha / nale

  View on GitHub
  Nix + Lean = Nale
  ☆12Jul 16, 2023Updated 2 years ago
• arthurpaulino / lean2md

  View on GitHub
  ☆22Nov 23, 2023Updated 2 years ago
• tydeu / lean4-papyrus

  View on GitHub
  An LLVM interface for Lean 4. (WIP)
  ☆26Aug 1, 2023Updated 2 years ago
• leanprover-community / lean4-samples

  View on GitHub
  Code samples for Lean 4
  ☆76Oct 19, 2023Updated 2 years ago
• yihozhang / egraph-sqlite

  View on GitHub
  egraph on top of sqlite
  ☆13Mar 8, 2022Updated 4 years ago
• opencompl / egg-tactic-code

  View on GitHub
  ☆16Jul 3, 2023Updated 2 years ago
• zygi / lean-protoc-plugin

  View on GitHub
  ☆13Apr 25, 2022Updated 3 years ago
• T-Brick / lean2wasm

  View on GitHub
  Tool for compiling Lean to WASM
  ☆24Mar 17, 2024Updated 2 years ago
• siddhartha-gadgil / Saturn

  View on GitHub
  Experiments with SAT solvers with proofs in Lean 4
  ☆63Jun 23, 2024Updated last year
• paulch42 / lean-spec

  View on GitHub
  Program Specification in Lean 4
  ☆22Jan 15, 2024Updated 2 years ago
• david-christiansen / bob24

  View on GitHub
  ☆16Mar 14, 2024Updated 2 years ago
• argumentcomputer / RustFFI.lean

  View on GitHub
  Template for Lean<->Rust FFI
  ☆14Feb 11, 2024Updated 2 years ago
• leanprover / functional_programming_in_lean

  View on GitHub
  A book about functional programming in Lean
  ☆45Feb 6, 2024Updated 2 years ago
• lecopivo / SciLean

  View on GitHub
  Scientific computing in Lean 4
  ☆476Feb 18, 2026Updated last month
• opencompl / lean-mlir-old

  View on GitHub
  embedding MLIR in LEAN
  ☆48Jun 17, 2024Updated last year
• LaurentMazare / ocaml.jl

  View on GitHub
  Prototype code for some Julia-OCaml bindings
  ☆16Jan 3, 2021Updated 5 years ago
• ccodel / verified-encodings

  View on GitHub
  Verifying encodings into propositional logic in Lean
  ☆14Aug 14, 2023Updated 2 years ago
• avigad / lamr

  View on GitHub
  Logic and Mechanized Reasoning
  ☆114Jan 11, 2026Updated 2 months ago
• leanprover / doc-gen4

  View on GitHub
  Document Generator for Lean 4
  ☆136Mar 12, 2026Updated last week
• dwrensha / lean4-maze

  View on GitHub
  maze game encoded in Lean 4 syntax
  ☆69Jul 2, 2025Updated 8 months ago
• leanprover / lake

  View on GitHub
  **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.
  ☆100Oct 25, 2023Updated 2 years ago
• bergmannjg / leanCurl

  View on GitHub
  Lean 4 bindings to libcurl
  ☆13Feb 3, 2026Updated last month
• leanprover / super

  View on GitHub
  Superposition prover
  ☆17Feb 16, 2023Updated 3 years ago