prg-titech / ikra-ruby

Related projects ⓘ

Alternatives and complementary repositories for ikra-ruby

• mfurr / Diamondback-Ruby
  A analysis tool for Ruby that adds optional static typing
  ☆37Updated 13 years ago
• dwango / fialyzer
  [WIP] Faster Implementation of Dialyzer
  ☆56Updated 7 months ago
• egison / egison-ruby
  A Ruby gem for non-linear pattern-matching with backtracking
  ☆160Updated 8 years ago
• antoniogarrote / typed.rb
  Gradual type checker for Ruby
  ☆30Updated 8 years ago
• matsumotory / mruby-httprequest
  HttpRequest of iij/mruby support mruby/mruby using mruby-uv and mruby-http
  ☆17Updated 6 years ago
• mattn / mruby-onig-regexp
  mrbgem of 鬼雲's Regular Expression
  ☆31Updated last year
• Nymphium / ruff
  ONE-SHOT Algebraic Effects for Ruby!
  ☆22Updated 4 years ago
• jaggederest / rparsec
  A parser combinator for ruby, pulled out of cvs (!!) into git for everyone's parsing pleasure
  ☆30Updated 5 years ago
• miura1729 / mruby-meta-circular
  mruby by mruby
  ☆31Updated 2 months ago
• pi8027 / typeinfer
  Type inference in OCaml
  ☆39Updated 9 years ago
• iij / mruby-io
  IO and File class for old versions (<= 1.3.x) of mruby
  ☆43Updated 5 years ago
• lambdataro / Mokkosu
  Mokkosuはインタラクティブなコンテンツを手軽に作成可能な関数型プログラミング言語です。
  ☆27Updated 4 years ago
• pocke / iro
  Iro is a library for syntax highlighting.
  ☆34Updated 5 years ago
• mcfilib / ruby-marshal
  Haskell library to parse a subset of Ruby objects serialised with Marshal.dump
  ☆33Updated 2 years ago
• szktty / starlight
  [WIP] Yet another Erlang implementation in Rust
  ☆33Updated 5 years ago
• matsumotory / mruby-redis
  redis class for mruby.
  ☆49Updated last year
• miura1729 / mruby
  Lightweight Ruby　with JIT compiler
  ☆30Updated 3 years ago
• reddo-br / reddo
  ☆10Updated 4 years ago
• jsl / ruby_ukanren
  A port of microKanren to Ruby
  ☆27Updated 9 years ago
• remore / julializer
  A ruby2julia transpiler made with ❤️
  ☆22Updated 7 years ago
• juanedi / crystal-spacemacs-layer
  Spacemacs contribution layer for Crystal
  ☆12Updated 8 years ago
• kentaro / mruby-hibari
  A Web application framework for Web servers that support mruby and Rack-based API
  ☆42Updated 9 years ago
• neilconway / superators
  Superators add new operators to Ruby
  ☆32Updated 12 years ago
• ksk / Rho
  Programs for checking the ρ property
  ☆17Updated 3 years ago
• matsumotory / mruby-simplehttpserver
  mruby-simplehttpserver is a HTTP Server with less dependency for mruby
  ☆26Updated 2 years ago
• jkutner / mjruby
  A new jruby launcher built with mruby-cli
  ☆21Updated 8 years ago
• udzura / rucy
  Rucy is a Ruby Compiler. // Ru-C -> Rucy
  ☆11Updated 3 years ago
• mrkn / vim-cruby
  CRuby syntax for Vim.
  ☆19Updated 6 years ago
• imasahiro / rujit
  RuJIT: a trace based just in time compile for CRuby
  ☆171Updated 9 years ago