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 / skalarprodukt
  Experimental multidimensional arrays for F#
  ☆11Updated 7 years ago
• ForNeVeR / cil-mode
  Major emacs mode for editing Common Intermediate Language files.
  ☆9Updated 8 years ago
• ForNeVeR / andivionian-status-classifier
  Software project status classification, adapted from the one used by the Andivionian Scientific Alliance.
  ☆17Updated last year
• 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
• rexim / ebf
  Brainfuck language transpiler to Emacs Lisp
  ☆21Updated 4 years ago
• mrkkrp / ebal
  *DEPRECATED* Emacs interface to Cabal and Stack
  ☆29Updated 7 years ago
• tsoding / CykaScript
  Scripting language for Rushing B
  ☆7Updated 5 years ago
• grouzen / cl-ngxmpp
  Common Lisp library for XMPP RFCs.
  ☆12Updated last year
• codingteam / naggum
  .NET-based lisp for a more civilized age
  ☆15Updated 3 years ago
• i-am-tom / LICK
  Idris-written, correct-by-construction, simply-typed lambda calculus.
  ☆39Updated 6 years ago
• ekmett / scheme-monads
  minimalist polymorphic scheme-(co)monads, written to avoid use of any advanced language features except hygienic macros
  ☆18Updated 12 years ago
• excavador / erlang-mnesia-video.ru
  ☆20Updated 3 years ago
• norm2782 / NanoProlog
  ☆17Updated 2 years ago
• jackfirth / compose-app
  Racket syntax for Haskell-style function composition
  ☆8Updated 2 months ago
• haskell-lisp / liskell
  Haskell Semantics with Lisp Syntax
  ☆68Updated 11 years ago
• edwinb / SDL-idris
  SDL bindings package for idris
  ☆46Updated 5 years ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆46Updated 7 years ago
• Parrows / Parrows
  Using Arrows to model parallel processes/computations.
  ☆18Updated 4 years ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 11 years ago
• mchav / FregeAndroid
  A proof of concept for running Frege on Android
  ☆6Updated 8 years ago
• ahungry / glyphs
  Glyphs - Reducing Common Lisp verbosity
  ☆29Updated 6 years ago
• jasonhemann / miniKanren
  An outdated miniKanren implementation with a not-pairo constraint
  ☆30Updated 11 years ago
• sequents / code
  Proof theory seminar
  ☆34Updated 4 years ago
• laurmcarter / scheme-monads
  Framework for defining and using monads in Chez Scheme
  ☆10Updated 12 years ago
• takikawa / sweet-racket
  A port of sweet expressions to Racket
  ☆48Updated 2 years ago
• zhiayang / sap
  not latex
  ☆17Updated 2 months ago
• haskell / zlib
  Compression and decompression in the gzip and zlib formats
  ☆37Updated 5 months ago
• arianvp / servis
  Github project where I track everything related to my thesis
  ☆26Updated 8 years ago