eviefp/dotfiles 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

eviefp/dotfiles

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/eviefp/dotfiles)

Close

eviefp / dotfilesView on GitHubMore

• External links
• Readme badge

☆15Nov 19, 2025Updated 4 months ago

Alternatives and similar repositories for dotfiles

Users that are interested in dotfiles are comparing it to the libraries listed below

• nutsalhan87 / nix-colorizer

  View on GitHub
  Color adjustment in Nix
  ☆43Jun 16, 2025Updated 9 months ago
• wh5a / thih

  View on GitHub
  Typing Haskell in Haskell
  ☆15Apr 12, 2010Updated 15 years ago
• YPares / envil

  View on GitHub
  envil forges Nix flakes and manages stacked environments
  ☆19Dec 11, 2025Updated 3 months ago
• traxys / nvim-flake

  View on GitHub
  Neovim Config with flake
  ☆17Mar 11, 2024Updated 2 years ago
• qknight / nixos-declarative-containers-example

  View on GitHub
  example how to use declarative containers to deploy arbitrarty webservices on the same system
  ☆11Apr 27, 2014Updated 11 years ago
• WesleyAC / notebook

  View on GitHub
  https://notebook.wesleyac.com
  ☆36Dec 8, 2025Updated 3 months ago
• danieljharvey / horses

  View on GitHub
  small programming language. pls be gentle.
  ☆39Mar 13, 2026Updated last week
• andorp / DepPy

  View on GitHub
  Imagine a Dependently Typed Python
  ☆10Apr 4, 2025Updated 11 months ago
• DavidMazarro / wasm-verify

  View on GitHub
  A proof-of-concept formal verification tool for WebAssembly.
  ☆10Mar 3, 2024Updated 2 years ago
• namin / lambdajam

  View on GitHub
  Workshop on Program Transformations
  ☆26Aug 12, 2023Updated 2 years ago
• tdietert / lambda-pi

  View on GitHub
  A toy implementation of the dependently typed lambda calculus known as λΠ
  ☆12Jan 29, 2020Updated 6 years ago
• Radvendii / hakyll-flakes

  View on GitHub
  Easy website generation with hakyll + nix flakes
  ☆16Nov 11, 2025Updated 4 months ago
• disconcision / spyshare

  View on GitHub
  a tiny tool for visualising substructual sharing in data structures 🕵️‍♀️
  ☆18Apr 4, 2019Updated 6 years ago
• aveltras / deploying-your-app-with-nixos

  View on GitHub
  Deploying your application with NixOS
  ☆29Oct 7, 2020Updated 5 years ago
• tanelso2 / ocaml-effects-tutorial

  View on GitHub
  Tutorial for Learning OCaml's Effects and Handlers
  ☆10Nov 16, 2022Updated 3 years ago
• derekelkins / ads

  View on GitHub
  Authenticated Data Structures
  ☆16Jul 5, 2015Updated 10 years ago
• WesleyAC / commonplace

  View on GitHub
  knowledge system - notetaking, hierarchical tagging, mnemonic medium, exploring latent structure.
  ☆18May 15, 2021Updated 4 years ago
• gelisam / typechecker-combinators

  View on GitHub
  ☆17Apr 4, 2024Updated last year
• magnetophon / nixosConfig

  View on GitHub
  ☆14Updated this week
• johannesloetzsch / nix-docker-cljc

  View on GitHub
  reproducible dev+test+production environments for java+javascript+clojure(script)
  ☆13Feb 2, 2021Updated 5 years ago
• strictly-lang / compiler

  View on GitHub
  strictly is a declarative programming language for interactive web-components
  ☆10Dec 2, 2023Updated 2 years ago
• brianberns / CompilerDesign

  View on GitHub
  ☆10Oct 27, 2024Updated last year
• matthunz / shmonad

  View on GitHub
  A shell prompt with infinite customization
  ☆39Jun 16, 2024Updated last year
• solomon-b / lambda-calculus-hs

  View on GitHub
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆48Feb 10, 2025Updated last year
• chayleaf / dotfiles

  View on GitHub
  my NixOS/home-manager config
  ☆38Nov 19, 2025Updated 4 months ago
• mattpolzin / ncurses-idris

  View on GitHub
  A hobby implementation of an ncurses binding for Idris 2
  ☆16Dec 9, 2024Updated last year
• PPKFS / roguefunctor

  View on GitHub
  A Haskell roguelike toolkit
  ☆12Jul 10, 2025Updated 8 months ago
• ahjohannessen / sec

  View on GitHub
  Scala Eventstore Client
  ☆11Updated this week
• nix-community / talon-nix

  View on GitHub
  Auto packaging for Talon Voice [maintainer=@adisbladis]
  ☆37Mar 13, 2026Updated last week
• szumixie / stlc

  View on GitHub
  Simply-typed lambda calculus as a QIT in cubical Agda + normalization
  ☆15Jan 23, 2024Updated 2 years ago
• Xe / withinbot

  View on GitHub
  Within's Discord Bot
  ☆18Apr 19, 2023Updated 2 years ago
• aionescu / bfi

  View on GitHub
  Optimizing Brainfuck interpreter
  ☆12Dec 30, 2020Updated 5 years ago
• davenverse / mules-http4s

  View on GitHub
  Http4s Caching Implementation
  ☆13Jul 15, 2024Updated last year
• davenverse / keysemaphore

  View on GitHub
  Keyed Semaphore Implementation
  ☆11Jul 8, 2024Updated last year
• fosskers / microlens-aeson

  View on GitHub
  Lenses and Traversals for Aeson, based on Microlens.
  ☆15Dec 12, 2025Updated 3 months ago
• gitops-workshop / secrets

  View on GitHub
  Demo/Hand-On: Sealed Secrets
  ☆11Nov 21, 2019Updated 6 years ago
• simonmichael / haskell-links

  View on GitHub
  Exploratory project to gather Haskell links
  ☆10May 27, 2025Updated 9 months ago
• awakesecurity / nix-delegate

  View on GitHub
  Convenient utility for distributed Nix builds
  ☆90May 2, 2025Updated 10 months ago
• tdietert / types-as-specifications

  View on GitHub
  ☆50Nov 4, 2019Updated 6 years ago