Alternatives and similar repositories for lean4-nix:

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

• coq-community / coq-nix-toolbox
  Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
  ☆37Updated this week
• Kha / nale
  Nix + Lean = Nale
  ☆12Updated last year
• argumentcomputer / LSpec
  A Testing Framework for Lean
  ☆51Updated 2 weeks ago
• hargoniX / socket.lean
  sockets for Lean 4
  ☆18Updated 7 months ago
• axiomed / http
  🌐 | HTTP primitives for Lean 4
  ☆31Updated 4 months ago
• alexkeizer / QpfTypes
  A WIP definitional (co)datatype package for Lean4
  ☆34Updated 2 months ago
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆46Updated 2 years ago
• fgdorais / lean4-parser
  Parser Combinator Library for Lean 4
  ☆46Updated 2 weeks ago
• tydeu / lean4-alloy
  Write C shims from within Lean code.
  ☆51Updated 2 months ago
• Gabriella439 / haskell-flake
  Flake template for Haskell repository
  ☆32Updated 4 months ago
• agda / cornelis
  agda-mode for neovim
  ☆142Updated this week
• ners / dosh
  📺 The power of Haskell in your terminal!
  ☆42Updated last month
• xubaiw / Socket.lean
  A toy implementation of socket programming for Lean 4.
  ☆27Updated last year
• leanprover / lean4-cli
  A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
  ☆73Updated this week
• AndrasKovacs / cctt
  high-performance cubical evaluation
  ☆69Updated 2 months ago
• AndrasKovacs / 2ltt-impl
  Eventually a practical 2-level TT-based compiler
  ☆27Updated last week
• cdepillabout / stacklock2nix
  Easily build a Haskell project from a stack.yaml.lock file with Nix
  ☆51Updated this week
• leanprover-community / plausible
  ☆30Updated 2 weeks ago
• tweag / opam-nix
  Turn opam-based OCaml projects into Nix derivations
  ☆121Updated 3 weeks ago
• josephsumabat / static-ls
  ☆149Updated this week
• forked-from-1kasper / ground_zero
  Ground Zero: Lean 4 HoTT Library
  ☆52Updated 2 months ago
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆33Updated 5 months ago
• marcusrossel / verified-compiler
  A toy example of a verified compiler.
  ☆27Updated last month
• nomeata / lean-wf-induct
  ☆17Updated last year
• arthurpaulino / LeanMySQL
  A MySQL API for Lean 4
  ☆17Updated 2 years ago
• T-Brick / lean-wasm
  Formalising the WASM spec in Lean
  ☆19Updated 7 months ago
• PatrickMassot / verbose-lean4
  Natural language tactics to teach mathematics using Lean 4
  ☆60Updated this week
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆58Updated last month
• dnadales / nix-latex-template
  Nix configuration for reproducible builds of LaTeX documents
  ☆25Updated 3 years ago
• sdzx-1 / typed-fsm
  typed finite-state machine
  ☆16Updated 3 months ago