ViewModels provide a means of encapsulating a collection of related data and specifying its JSON serialization.

GPGPU Accelerator for Array-based Computations

Create code boundaries within your Rails monolith

Acceptance testing for isomorfeus.

Create PDFs for download from your posts, using latex flexible and comfortable.

It traces the execution path of a program and displays the source code of each method call in the callgraph

Helps you avoid common pitfalls when dealing with app config

Documentation DSL that provides method level comments and links or imports to other comments. Comments can be written in MarkDown format and the current method can be transformed from Ruby code into a MarkDown readable format. Static instance, class methods, and constants can be called and used inside of ERB tags. All defined areas are generated into markdown file per class.

Adds several instance methods to the core Method class so methods can tell you more about themselves.

fine grained code reloading

Ruby doesn't like you arbitrarily deciding when to execute expressions. Take control with this gem. It's a simple way to mix in additional behavior into Proc that will allow you to make custom DSL's that will change how ruby deals with expressions.

A Quickcheck-inspired test utilities library

Testable Examples in Minitest.

A Mizar Console with Sophisticated Reasoning Support

Decorator style assertions and type check library for Contract programming.

Experimental/demo library. Not to be used in production.

A tool for managing your markdown notes.

OasCore simplifies API documentation by automatically generating OpenAPI Specification (OAS 3.1) documents from your Ruby application routes. It eliminates the need for manual documentation, ensuring accuracy and consistency.

Core functionality for Pakyow

Proof-Of-Concept for temporarily persisted transactions in Ruby