softdevteam / libkalibera
libkalibera
☆16Updated 2 years ago
Alternatives and similar repositories for libkalibera:
Users that are interested in libkalibera are comparing it to the libraries listed below
- Default Repo description from terraform moduleUpdated 10 years ago
- GrSL - the GSL-based random Sampling Library☆13Updated 13 years ago
- strace a block of ruby code☆35Updated 14 years ago
- A file to define environment dependencies for applications☆34Updated 9 years ago
- ☆84Updated 8 years ago
- A port of microKanren to Ruby☆28Updated 10 years ago
- a language workbench for parsing and transforming curly-brace languages☆42Updated 8 years ago
- Relational Algebra at your fingertips☆62Updated 10 years ago
- Stack-based micro (< 150 LOC) virtual machine written in Ruby, running its own micro bytecode format called MC.☆38Updated 13 years ago
- a modular, macro-ular, totally tubular language for the Rubinius VM. #atomo @ freenode☆53Updated 8 years ago
- A simple implementation of an "Error" [pseudo-]monad for Ruby.☆16Updated 9 years ago
- A script for running TLA+/TLC from the command line☆81Updated 3 years ago
- LLVM-based Mutation Testing System. Proof of concept☆15Updated 8 years ago
- Probabilistic integer arithmetic for Ruby☆31Updated 8 years ago
- ActiveRecord query logger and analyzer☆24Updated last year
- Parses and executes Runway models of distributed systems☆50Updated 3 years ago
- Require libraries without cluttering your namespace.☆127Updated 13 years ago
- Compact tries for fixed-width keys☆25Updated 6 years ago
- Haskell library to parse a subset of Ruby objects serialised with Marshal.dump☆33Updated 2 years ago
- Static analysis tool for Rails apps☆21Updated 10 years ago
- Execute and document benchmarks reproducibly.☆89Updated last month
- Work-in-progress sample code related to Bud☆68Updated 8 years ago
- Maybe Functor, Applicative and Monad☆30Updated 7 years ago
- Fast extensible html5 builder written in pure Ruby. Replaces templating engines without loosing speed bringing back the power of OOP.☆17Updated last year
- Fast Dependency Solver for Ruby using Gecode☆25Updated 3 years ago
- Time travel for Ruby Pry☆38Updated 8 years ago
- TLA+ specification for the Raft consensus algorithm (with Pre-Vote)☆12Updated 7 years ago
- Delta-State Convergent Replicated Data Types (ẟ-CRDTs) for the Pony language.☆38Updated 5 years ago
- An implementation of the HyperLogLog algorithm backed by Redis☆172Updated 9 years ago
- An example Ruby implementation of μKanren.☆23Updated 5 years ago