Multiple selection with just markup.
[](https://travis-ci.org/HuygensING/hire-faceted-search-elab)
High-speed, unicode-aware, browser-friendly slug generator
No description provided.
WebAssembly bindings for OxiLean
English | [简体中文](./README-zh_CN.md) # svg-webgl-loader ## Introduction svg-webgl-loader， a tool for rendering svg on canvas(webgl). ## Installation
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
Desktop-friendly GGUF LLaMA inference wrapper for Candle and Hugging Face Hub
handle one or multiple windows easily
Wrappers for standard library functions and types to produce more elaborate error messages
A CLI tool for managing computers and devices in a home lab via SSH
This Rails engine provides a CMS to manage content types as projects, articles, albums,...
Provides a set of useful rspec matchers to be used with RSpec and/or Capybara
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.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.