Alternatives and similar repositories for mazarusha:

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

• tsoding / Issuestant
  Issue tracker assistant
  ☆8Updated 5 years ago
• ForNeVeR / andivionian-status-classifier
  Software project status classification, adapted from the one used by the Andivionian Scientific Alliance.
  ☆17Updated last year
• ForNeVeR / skalarprodukt
  Experimental multidimensional arrays for F#
  ☆11Updated 7 years ago
• rexim / Loprog
  Loprog is a stupid implementation of Prolog programming language.
  ☆7Updated 8 years ago
• morganey-lang / Morganey
  Lambda Calculus based, interpreted programming language that recognizes Church encoded structures.
  ☆44Updated 7 years ago
• ForNeVeR / cil-mode
  Major emacs mode for editing Common Intermediate Language files.
  ☆9Updated 8 years ago
• bmstu-iu9 / refal-5-lambda
  Компилятор Рефала-5λ
  ☆83Updated last year
• rexim / beatwave
  A musical puzzle game
  ☆18Updated 8 years ago
• mrkkrp / ebal
  *DEPRECATED* Emacs interface to Cabal and Stack
  ☆29Updated 6 years ago
• rexim / ebf
  Brainfuck language transpiler to Emacs Lisp
  ☆21Updated 4 years ago
• codingteam / naggum
  .NET-based lisp for a more civilized age
  ☆15Updated 3 years ago
• Lovesan / CLR
  Common Lisp Runtime
  ☆12Updated 8 years ago
• excavador / erlang-mnesia-video.ru
  ☆20Updated 3 years ago
• skogsbaer / hscurses
  ncurses binding for Haskell
  ☆61Updated last month
• edwinb / SDL-idris
  SDL bindings package for idris
  ☆46Updated 5 years ago
• ilya-klyuchnikov / ttlite
  A SuperCompiler for Martin-Löf's Type Theory
  ☆120Updated 3 years ago
• Vild / DWin
  A tiled window manager written in D.
  ☆24Updated 6 years ago
• githwxi / ATS-Postiats-contrib
  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
  ☆48Updated 4 years ago
• vorov2 / ela
  Ela is a simple, yet powerful modern functional language with a state-of-art syntax. Ela combines strict and lazy evaluation, dynamic typ…
  ☆23Updated 2 years ago
• sequents / code
  Proof theory seminar
  ☆33Updated 3 years ago
• mchav / FregeAndroid
  A proof of concept for running Frege on Android
  ☆6Updated 8 years ago
• bananu7 / Hate
  A small 2D game framework in Haskell, for Haskell
  ☆26Updated 7 years ago
• i-am-tom / LICK
  Idris-written, correct-by-construction, simply-typed lambda calculus.
  ☆39Updated 6 years ago
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 8 years ago
• dmbaturin / hope
  Hope programming language interpreter
  ☆40Updated 4 years ago
• Parrows / Parrows
  Using Arrows to model parallel processes/computations.
  ☆18Updated 4 years ago
• alexeyr / miet-haskell-course
  ☆25Updated 9 months ago
• groupoid / groupoid.space
  🧊 Інститут формальної математики
  ☆34Updated last week
• rexim / todo
  CLI tool for manipulating source code TODOs
  ☆17Updated 7 years ago