Starred repositories
Inspect a command's effects before modifying your live system
A cargo plugin to generate Xcode Instruments trace files
A new markup-based typesetting system that is powerful and easy to learn.
A parameter validation library - based on Ecto
Tagref helps you manage cross-references in your code.
🔬 A fast, interactive web-based viewer for performance profiles.
Lightning-fast and Powerful Code Editor written in Rust
📖 A collection of pure bash alternatives to external processes.
A core language and API for dependently typed languages
Flame Graph LiveView Component and LiveDashboard plugin
A tool for rapid profiling of Erlang and Elixir applications
A JavaScript library to position floating elements and create interactions for them.
An enterprise-class UI design language and React UI library
Automate code & data workflows with interactive Elixir notebooks
Hazel, a live functional programming environment with typed holes
An Idris port of the Haskell Hedghog library
Utilities and documentation for exploring idirs2's new elaborator reflection.
A SwiftUI package to beautifully display and handle permissions.
A very compact representation of a placeholder for an image.
Haskell library for building declarative animations based on SVG graphics
idris-community / inigo
Forked from bbarker/inigoInigo: A Package Manager for Idris2