pnotequalnp / valid-reasons-to-use-java

Related projects: ⓘ

• bradrn / wlhs
  Haskell bindings to wlroots (and libwayland)
  ☆58Updated 4 months ago
• ashinkarov / nvim-agda
  Agda interaction pluging for neovim
  ☆35Updated 2 weeks ago
• srid / haskell-flake
  A `flake-parts` Nix module for Haskell development
  ☆142Updated this week
• matthunz / shmonad
  A shell prompt with infinite customization
  ☆38Updated 3 months ago
• isovector / cornelis
  agda-mode for neovim
  ☆130Updated 4 months ago
• L-as / waymonad
  A wayland compositor based on ideas from and inspired by xmonad
  ☆90Updated 3 years ago
• nixypanda / dotfiles
  My dotfiles + system configuration for NixOS and mac
  ☆171Updated last month
• luc-tielen / telescope_hoogle
  Hoogle search integration for Telescope
  ☆47Updated last year
• rpearce / hakyll-nix-template
  Hakyll + Nix starter template
  ☆54Updated last week
• isti115 / agda.nvim
  NeoVim plugin for interacting with Agda written in Lua
  ☆18Updated 7 months ago
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆45Updated last year
• rmehri01 / thock
  ⌨️ A modern TUI typing game featuring online racing against friends.
  ☆87Updated 3 years ago
• Icy-Thought / snowflake
  A repository which contains my current Nix (flake-based) setup!
  ☆180Updated this week
• karetsu / xmonad-aloysius
  Aloy XMonad
  ☆42Updated 4 months ago
• dramforever / scratchix
  Linux From Scratch, but it's Nix
  ☆36Updated 3 years ago
• purenix-org / purenix
  Nix backend for PureScript. Transpile PureScript code to Nix.
  ☆293Updated 3 weeks ago
• cdepillabout / stacklock2nix
  Easily build a Haskell project from a stack.yaml.lock file with Nix
  ☆47Updated last month
• NixNeovim / NixNeovim
  Configure Neovim with Nix!
  ☆125Updated 3 weeks ago
• krebs / nix-anarchy
  Smash the state. Ⓐ
  ☆62Updated 8 months ago
• mniip / discord-eval
  A discord frontend for an interactive interpreter bot
  ☆22Updated last year
• srid / haskell-template
  Haskell project template using Nix + Flakes + VSCode (HLS)
  ☆224Updated 2 weeks ago
• josephsumabat / static-ls
  ☆98Updated 3 weeks ago
• NobbZ / nixos-config
  ☆233Updated last week
• Gerg-L / nixos
  ☆35Updated this week
• crazazy / aoc2020
  Advent of Code done in the nix language
  ☆41Updated 3 years ago
• aristanetworks / nix-serve-ng
  A drop-in replacement for nix-serve that is faster and more reliable
  ☆152Updated 4 months ago
• viperML / dotfiles
  Personal configuration files for my PC
  ☆157Updated this week
• dramforever / nix-dram
  Nix Flakes with a modified frontend, by dramforever
  ☆75Updated last month
• purs-nix / purs-nix
  Manage your PureScript projects with Nix!
  ☆71Updated last week
• Fundament-Software / keystone
  Capability Secure Distributed Infrastructure
  ☆23Updated last week