pnotequalnp / valid-reasons-to-use-javaLinks
Exhaustive list
☆22Updated 5 years ago
Alternatives and similar repositories for valid-reasons-to-use-java
Users that are interested in valid-reasons-to-use-java are comparing it to the libraries listed below
Sorting:
- Agda interaction pluging for neovim☆40Updated last year
- Haskell bindings to wlroots (and libwayland)☆69Updated last year
- agda-mode for neovim☆168Updated last week
- A `flake-parts` Nix module for Haskell development☆213Updated this week
- A Wayland compositor written in Haskell, providing a configurable and programmable window management system. This project implements the …☆61Updated last week
- A simple library for reporting compiler/interpreter errors☆267Updated last year
- ☆174Updated this week
- Nix backend for PureScript. Transpile PureScript code to Nix.☆324Updated last year
- An unofficial Idris2 package repository for Nix☆47Updated 3 years ago
- Nix overlay for Lean 4, and lake2nix☆62Updated last week
- A shell prompt with infinite customization☆40Updated last year
- A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!☆428Updated last week
- NeoVim plugin for interacting with Agda written in Lua☆19Updated last year
- A library for writing discord bots in haskell☆123Updated 5 months ago
- Haskell project template using Nix + Flakes + VSCode (HLS)☆282Updated this week
- [alpha] Build Rust crates with Nix Build System.☆173Updated 6 months ago
- ☆54Updated 2 years ago
- Flake template for Haskell repository☆38Updated last year
- 🌈 Haskell CLI Framework supporting Command Line Interface Guidelines☆198Updated last year
- ☆23Updated this week
- Example showing how to build a statically-linked Haskell executable with Nix and attach it to a GitHub Release☆23Updated last year
- Rust project template with Nix (Flakes) and VSCode support☆229Updated last month
- Neovim client for coq-lsp☆27Updated last month
- nix-types | type hints for nix☆88Updated last year
- My dotfiles + system configuration for NixOS and mac☆178Updated 2 weeks ago
- Load a GHCi session for a Haskell project and reload it when source files change☆150Updated last month
- Hoogle search integration for Telescope☆54Updated 3 weeks ago
- A configurable wallpaper for nix systems☆87Updated 4 months ago
- Sources for my Blog☆27Updated 2 years ago
- Manage your PureScript projects with Nix!☆79Updated 5 months ago