dmadisetti / rules_eulerLinks
Bazel rules for Project Euler
☆17Updated 5 years ago
Alternatives and similar repositories for rules_euler
Users that are interested in rules_euler are comparing it to the libraries listed below
Sorting:
- Rules for importing Nixpkgs packages into Bazel.☆363Updated last week
- Vim support for Bazel☆157Updated 3 years ago
- Vim configuration files for Nix http://nixos.org/nix☆301Updated last year
- An interactive way to learn bazel.☆68Updated 2 years ago
- ☆341Updated last week
- Vim plugin for GHCup☆25Updated 5 years ago
- An LSP implementation for Starlark, the configuration language used by Bazel and Buck2.☆200Updated 2 months ago
- A template for creating a new Bazel ruleset☆99Updated this week
- Interactive Coq Proofs in Vim☆314Updated this week
- Starlark grammar for tree-sitter☆23Updated 8 months ago
- Haskell rules for Bazel.☆279Updated this week
- Use Google Docs like vim. Sorta.☆114Updated 4 years ago
- Haskell grammar for tree-sitter.☆177Updated 5 months ago
- The Haskell Optimization Handbook☆184Updated 3 weeks ago
- Neovim support for the Lean theorem prover☆466Updated last week
- ☆11Updated 2 years ago
- Trigger bazel from vim and load errors into the quickfix list☆17Updated 10 months ago
- ZSH Completions for Nix☆278Updated last month
- Nix grammar for tree-sitter [maintainer=@cstrahan]☆224Updated last week
- Dot files for Evan Chen (Arch Linux on i3)☆129Updated last week
- A community version of the renowned "Learn You a Haskell" (LYAH) tutorials collection!☆518Updated this week
- A vim plugin to use tabs for indentation and spaces for alignment☆16Updated 11 months ago
- NeoVim plugin for interacting with Agda written in Lua☆19Updated 2 years ago
- Haskell bindings for tree-sitter☆173Updated last year
- Nix environment setup for the fish shell☆303Updated 4 years ago
- Substitutes a directory elsewhere on macOS by replacing system calls☆20Updated 2 months ago
- A collection of short notes about Nix, down to what is immediately needed for users.☆459Updated last year
- https://hercules-ci.com build and deployment agent☆118Updated this week
- actually publishing my solutions now that they're not redundant...☆211Updated 3 years ago
- agda-mode for neovim☆176Updated 2 weeks ago