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:
- Haskell bindings to wlroots (and libwayland)☆67Updated last year
- Agda interaction pluging for neovim☆39Updated 10 months ago
- agda-mode for neovim☆162Updated 3 weeks ago
- A Wayland compositor written in Haskell, providing a configurable and programmable window management system. This project implements the …☆58Updated 4 months ago
- A `flake-parts` Nix module for Haskell development☆201Updated last week
- A library for writing discord bots in haskell☆123Updated 2 months ago
- A shell prompt with infinite customization☆40Updated last year
- Nix overlay for Lean 4, and lake2nix☆53Updated last week
- My dotfiles + system configuration for NixOS and mac☆177Updated 2 weeks ago
- Nix backend for PureScript. Transpile PureScript code to Nix.☆320Updated 11 months ago
- Rust project template with Nix (Flakes) and VSCode support☆225Updated last week
- An unofficial Idris2 package repository for Nix☆47Updated 2 years ago
- ☆164Updated last week
- NeoVim plugin for interacting with Agda written in Lua☆18Updated last year
- [alpha] Build Rust crates with Nix Build System.☆172Updated 3 months ago
- Haskell project template using Nix + Flakes + VSCode (HLS)☆260Updated 2 weeks ago
- A wayland compositor based on ideas from and inspired by xmonad☆93Updated 3 years ago
- ☆54Updated 2 years ago
- Flake template for Haskell repository☆37Updated 10 months ago
- A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!☆414Updated this week
- A simple Nix-Haskell skeleton☆113Updated last month
- ☆21Updated 2 years ago
- GitHub repository containing highest quality Nix/NixOS content☆342Updated last month
- A Brainfuck compiler implemented using Nix because I have no life☆23Updated 2 years ago
- A simple library for reporting compiler/interpreter errors☆265Updated last year
- nix-types | type hints for nix☆84Updated 9 months ago
- Easily build a Haskell project from a stack.yaml.lock file with Nix☆53Updated 4 months ago
- ⌨️ A modern TUI typing game featuring online racing against friends.☆93Updated 3 years ago
- 🔥 Eval-time random number generator for Nix without IFD 🚀☆56Updated 2 years ago
- Example showing how to build a statically-linked Haskell executable with Nix and attach it to a GitHub Release☆23Updated 10 months ago