Alternatives and similar repositories for rules_euler:

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

• uclaacm / uclaacm-rustlings
  Learning Rust in 6 weeks with ACM @ UCLA!
  ☆10Updated 2 years ago
• haskellfoundation / hs-opt-handbook.github.io
  The Haskell Optimization Handbook
  ☆174Updated 4 months ago
• rmehri01 / thock
  ⌨️ A modern TUI typing game featuring online racing against friends.
  ☆90Updated 3 years ago
• jvolkman / bazel-nix-example
  ☆27Updated 2 years ago
• izabera / cube.sed
  best possible use of sed
  ☆111Updated 9 months ago
• vEnhance / dotfiles
  Dot files for Evan Chen (Arch Linux on i3)
  ☆114Updated this week
• cjquines / qboard
  The efficient digital whiteboard.
  ☆83Updated last year
• haskell / ghcup-hs
  ☆305Updated this week
• Athons / wiki
  💻 Hackathon Wiki - Created by @bahorn
  ☆21Updated 11 months ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆282Updated last month
• tweag / rules_haskell
  Haskell rules for Bazel.
  ☆268Updated last week
• mlopes / dotfiles
  My dotfiles and configurations
  ☆10Updated 4 months ago
• odnoletkov / advent-of-code-jq
  Solving Advent of Code with jq
  ☆214Updated 2 months ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆114Updated 2 years ago
• L-as / waymonad
  A wayland compositor based on ideas from and inspired by xmonad
  ☆90Updated 3 years ago
• luke-clifton / shh
  Simple shell like scripting from Haskell
  ☆286Updated 6 months ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆244Updated 3 weeks ago
• porras / dmenu-emoji
  Search an emoji by name and copy it to the clipboard [i3, dmenu, rofi]
  ☆61Updated 10 months ago
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆320Updated this week
• lakshayg / vim-bazel
  Trigger bazel from vim and load errors into the quickfix list
  ☆17Updated 8 months ago
• stedolan / counterexamples
  Counterexamples in Type Systems
  ☆394Updated last year
• eviefp / dotfiles
  ☆12Updated this week
• howard36 / probase
  An online math contest platform
  ☆18Updated 2 months ago
• fourmolu / fourmolu
  A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
  ☆386Updated 2 weeks ago
• lsmor / snake-fury
  a challenge for Haskell beginners
  ☆449Updated last year
• vEnhance / von
  Olympiad problem database
  ☆48Updated last month
• not-an-aardvark / every-git-commit-shorthash
  Git repository with a commit for every single shorthash
  ☆205Updated 3 years ago
• bazelbuild / vim-bazel
  Vim support for Bazel
  ☆152Updated 2 years ago
• marcusbuffett / Clanki
  Command-line spaced-repetition learning software. CL (command line) + Anki (popular spaced-repetition software) = Clanki.
  ☆90Updated 6 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆295Updated 2 weeks ago