Alternatives and similar repositories for ikra-ruby:

Users that are interested in ikra-ruby are comparing it to the libraries listed below

• mfurr / Diamondback-Ruby
  A analysis tool for Ruby that adds optional static typing
  ☆37Updated 13 years ago
• egison / egison-ruby
  A Ruby gem for non-linear pattern-matching with backtracking
  ☆161Updated 9 years ago
• dwango / fialyzer
  [WIP] Faster Implementation of Dialyzer
  ☆56Updated 9 months ago
• matsumotory / mruby-httprequest
  HttpRequest of iij/mruby support mruby/mruby using mruby-uv and mruby-http
  ☆17Updated 6 years ago
• jaggederest / rparsec
  A parser combinator for ruby, pulled out of cvs (!!) into git for everyone's parsing pleasure
  ☆30Updated 5 years ago
• reddo-br / reddo
  ☆10Updated 4 years ago
• Nymphium / ruff
  ONE-SHOT Algebraic Effects for Ruby!
  ☆22Updated 4 years ago
• mcfilib / ruby-marshal
  Haskell library to parse a subset of Ruby objects serialised with Marshal.dump
  ☆33Updated 2 years ago
• k-tsj / pattern-match
  A pattern matching library for Ruby
  ☆254Updated 8 months ago
• antoniogarrote / typed.rb
  Gradual type checker for Ruby
  ☆30Updated 8 years ago
• pi8027 / typeinfer
  Type inference in OCaml
  ☆40Updated 9 years ago
• jsl / ruby_ukanren
  A port of microKanren to Ruby
  ☆28Updated 9 years ago
• miura1729 / mruby-meta-circular
  mruby by mruby
  ☆31Updated this week
• hatsugai / SyncStitch
  A Refinement Checker based on CSP
  ☆28Updated 2 years ago
• imasahiro / rujit
  RuJIT: a trace based just in time compile for CRuby
  ☆171Updated 9 years ago
• pfnet-research / menoh-ruby
  Ruby binding for Menoh DNN inference library
  ☆26Updated 4 years ago
• udzura / rucy
  Rucy is a Ruby Compiler. // Ru-C -> Rucy
  ☆11Updated 3 years ago
• mattn / mruby-onig-regexp
  mrbgem of 鬼雲's Regular Expression
  ☆31Updated last month
• seki / bartender
  Async I/O using Ruby Fiber
  ☆42Updated 7 years ago
• remore / julializer
  A ruby2julia transpiler made with ❤️
  ☆22Updated 8 years ago
• rhysd / Crisp
  Lisp dialect implemented with Crystal
  ☆44Updated last year
• yui-knk / pry-power_assert
  ☆35Updated 10 years ago
• miura1729 / mruby
  Lightweight Ruby　with JIT compiler
  ☆30Updated 3 years ago
• red-data-tools / extpp
  C++ Ruby extension API
  ☆20Updated 2 years ago
• nagaet / Garrigue-lecture-2018_AW
  ガリグ先生 2018年度後期・数理解析・計算機数学 II (同 概論II)
  ☆13Updated 5 years ago
• onion-lang / onion
  Onion - statically typed object-oriented programming language
  ☆26Updated last week
• atomicobject / monadt
  Monads & ADTs in Ruby
  ☆27Updated 4 years ago
• gfngfn / game_tianjiupai
  A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm
  ☆15Updated last year
• nomaddo / loop
  ☆15Updated 7 years ago