Alternatives and similar repositories for libkalibera

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

• vito / atomy
  a modular, macro-ular, totally tubular language for the Rubinius VM. #atomo @ freenode
  ☆53Updated 8 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago
• jsl / ruby_ukanren
  A port of microKanren to Ruby
  ☆28Updated 10 years ago
• WebDrake / GrSL
  GrSL - the GSL-based random Sampling Library
  ☆13Updated 13 years ago
• nkpart / adt
  ADTs for Ruby
  ☆24Updated 12 years ago
• plum-umd / rtc
  ☆84Updated 8 years ago
• jnear / derailer
  Static analysis tool for Rails apps
  ☆21Updated 10 years ago
• dependent / dependencies
  A file to define environment dependencies for applications
  ☆34Updated 9 years ago
• tomstuart / kanren
  An example Ruby implementation of μKanren.
  ☆23Updated 5 years ago
• AlexDenisov / mutation-testing-poc
  LLVM-based Mutation Testing System. Proof of concept
  ☆14Updated 9 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆104Updated 9 months ago
• mcfilib / ribimaybe
  Maybe Functor, Applicative and Monad
  ☆30Updated 7 years ago
• timbod7 / secretfs
  A FUSE file system that interpolates secret information
  ☆20Updated 8 years ago
• txus / microvm
  Stack-based micro (< 150 LOC) virtual machine written in Ruby, running its own micro bytecode format called MC.
  ☆38Updated 13 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 10 years ago
• patrickt / bracer
  a language workbench for parsing and transforming curly-brace languages
  ☆42Updated 9 years ago
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆92Updated 4 months ago
• davidmalcolm / pygccjit
  Python bindings for libgccjit.so
  ☆48Updated 9 years ago
• jcoglan / kanrens
  Various implementations of microKanren
  ☆20Updated 8 years ago
• square / active_record-sql_analyzer
  ActiveRecord query logger and analyzer
  ☆24Updated last year
• awwaiid / pry-timetravel
  Time travel for Ruby Pry
  ☆38Updated 8 years ago
• enthought / depsolver
  Default Repo description from terraform module
  ☆1Updated 10 years ago
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆70Updated 7 months ago
• ceylon / ceylon-model
  DEPRECATED
  ☆12Updated 9 years ago
• soveran / cargo
  Require libraries without cluttering your namespace.
  ☆127Updated 13 years ago
• mcfilib / ruby-marshal
  Haskell library to parse a subset of Ruby objects serialised with Marshal.dump
  ☆33Updated 2 years ago
• jcoglan / infer
  Interpreter for inference rules
  ☆13Updated 7 years ago
• alehander92 / hatlog
  custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
  ☆24Updated 9 years ago
• DRMacIver / each
  A small batch processing utlity
  ☆12Updated 3 years ago
• DRMacIver / shrinkray-old
  Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats
  ☆29Updated 5 years ago