EbookStudio CLI — control ebookstudio.vercel.app from your terminal
RailsAdmin is a Rails engine that provides an easy-to-use interface for managing your data.
JavaScript client side MVC framework
JavaScript client side MVC framework
Create enjine Project in seconds.
React components to build permission controlled ui's.
Broccoli plugin which compiles ECO templates
RailsAdmin is a Rails engine that provides an easy-to-use interface for managing your data.
Minimal authorization for Node.js inspired by Pundit
An authorization addon for Ember CLI
Refile is a modern file upload library for Ruby applications. It is simple, yet powerful.
Elabs K256: Keccak-256 wrapper
Elabs Solc: The solc wrapper
Elabs crypto package: crypto utilities
OxiLean elaborator - Surface syntax to kernel terms
Lean 4-compatible elaborator in Rust (pre-release placeholder)
OxiLean - A Pure Rust theorem prover and dependent type checker inspired by Lean 4
OxiLean command-line interface
OxiLean meta layer - Metavar-aware WHNF, unification, type class synthesis, and tactics
Wasm-based image processing library developed by re;file labs
A rust library for interfacing with the XenceLabs Quick Keys
Provides a set of useful rspec matchers to be used with RSpec and/or Capybara
This Rails engine provides a CMS to manage content types as projects, articles, albums,...
CrewdPolicies enables conventional Pundit (https://github.com/elabs/pundit) policies to be written using an opinionated pattern based on declarative Create, Read, Execute (optional), Write and Destroy (CREWD) permissions for each resource. Conventional pundit create?, show?, update? and destroy? permissions are automatically derived from these, as well as permitted_attributes/strong parameters.
No description provided.
No description provided.
No description provided.