Skip to content

Nix Flake Templates

Select theme

Introduction
Getting started
Configuration
- Nix Direnv
- Editor support
  - Emacs
Recipes
- Elixir
  - Elixir Phoenix application
- Gleam
  - Gleam application
- Go
  - Go executable
- Java
  - Spring Boot application
- Lean 4
  - lean4-nix (external)
- OCaml
  - Generic Dune project
  - Basic
- Python
  - Uv (basic)
- Rust
  - Rust executable
- TypeScript
  - TypeScript web application (with a framework)
  - Effect CLI application
- Zig
  - Zig CLI application
Patterns
- Continuous Integration
  - GitHub Actions
- Formatting
  - treefmt-nix
- Updating dependencies
  - Renovate Bot
- Conventional Commits
  - cocogitto
- Using nix-systems
Resources

Select theme

On this page

Overview

On this page

Overview

Set up a Lean 4 project through lean4-nix

lenianiva/lean4-nix provides templates for Lean 4. Refer to the documentation for details.

Previous
Spring Boot application Next
Generic Dune project