Alternatives and similar repositories for Sledgehammer

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

• FMNSSun / Burlesque
  http://mroman.ch/burlesque
  ☆14Updated 5 years ago
• DennisMitchell / sesos
  ☆14Updated 9 years ago
• Nazek42 / arcyou
  A LISP-like functional programming language suitable for code golf
  ☆13Updated 7 years ago
• dloscutoff / Esolangs
  Miscellaneous esoteric programming languages.
  ☆39Updated 3 months ago
• muddyfish / PYKE
  Indev golfing language
  ☆18Updated 5 years ago
• TehFlaminTaco / Reverse-Programmer-Notation
  An Esoteric Programming Language based on Reverse Polish Notation
  ☆12Updated 8 years ago
• nickbclifford / Ohm
  A stack-oriented golfing language inspired by 05AB1E and Jelly.
  ☆25Updated 7 years ago
• cairdcoinheringaahing / AddPlusPlus
  JHT rating: 28-765
  ☆13Updated 6 years ago
• kritixilithos / Carrot
  Carrot is a simple string-based esolang whose memory is on a tape of tapes
  ☆11Updated 7 years ago
• tomtheisen / stax
  Stax Golfing Language
  ☆42Updated 2 years ago
• GrayJoKing / Cascade
  An esoteric language based on overlapping tree-like structures
  ☆10Updated 4 years ago
• Hakerh400 / esolangs
  Collection of interpreters for esoteric programming languages
  ☆14Updated 4 years ago
• m-ender / stackcats
  A stack-based programming language with a lot of symmetry.
  ☆26Updated 9 years ago
• m-lohmann / BeeswaxEsolang.jl
  beeswax Esoteric Programming Language
  ☆15Updated 5 years ago
• dloscutoff / pip
  Pip: an imperative code-golf language
  ☆35Updated 2 months ago
• rjhunjhunwala / SIL-S.I.L.O.S
  SIL, the "Simple Interpreted Language"
  ☆10Updated 7 years ago
• m-ender / alice
  A feature-rich, two-dimensional, recreational programming language. With mirrors.
  ☆46Updated 4 years ago
• LegionMammal978 / Mthmtca
  A version of Mathematica for golfing purposes.
  ☆11Updated last year
• dzaima / Canvas
  a stack-based ASCII-art golfing language
  ☆13Updated 6 years ago
• qpliu / esolang
  My esoteric languages
  ☆27Updated 3 years ago
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated last week
• LogicodeLang / Logicode
  An esoteric language based on logic gates.
  ☆12Updated 4 years ago
• abrudz / lb
  JavaScript language bars, keyboard layout key-bindings, and character compositions for entering APL characters
  ☆28Updated 5 months ago
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆78Updated 4 years ago
• serprex / Rue
  lang Thue + Regex
  ☆15Updated 3 years ago
• phase / o
  Esoteric stack-oriented programming language for code golf
  ☆62Updated last year
• Radvylf / trianguish
  A 2d "programming language" based around triangles
  ☆11Updated 2 years ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆117Updated 5 years ago
• abrudz / dyalog-apl-extended
  Dyalog APL Extended
  ☆28Updated last year
• lyxal / Keg
  A stack-based esolang with condensability as well as simplicity and readability in mind.
  ☆26Updated 3 years ago