MyNixOS website logo
categories

development

Showing entries 56501-56600 out of 57642.
Combinator library for splitting vectors
Statically checked sizes on Data
A parallel evaluation strategy for boxed vectors
Efficient Streams
Text implementation based on unboxed char vector
Deriver for Data
GIS Vector Tiles, as defined by Mapbox
Easily view Vega or Vega-Lite visualizations
Automatically add files to exposed-modules and other-modules
ASCII platform-adventure game
A solver for the WordBrain game
Regular expressions made easy
Simple enum that encodes application verbosity
Validation framework
JSON instances and JSON Schema for verdict
An intermediate language for Hoare logic style verification
A new Haskeleton package
Verilog preprocessor, parser, and AST
Random verilog generation and simulator testing
Small alternative prelude
A simple version type
FromDhall and ToDhall instances for version-natural
Type-safe data versioning
Servant combinators for the versioning library
Types and parsers for software version numbers
Vertex enumeration
Functor-parametric containers
Array library monomorphized with backpack
Types for ingesting vflow data with aeson
A Python str.format() like formatter
Extend vformat to Aeson datatypes
Extend vformat to time datatypes
VFR waypoints, as published in the AIP (ERSA)
A pager for grep
Provides functions to inspect and manipulate virtual hard disk (VHD) files
VHDL AST and pretty printer
Please see the README on Github at https://github.com/andrewthad/vicinity#readme
ViennaRNA v2 bindings
ViennaRNA v2 extensions
Libary for parsing ViennaRNA package output
Text-based interactive GHC .prof viewer
Views allow you to run a State monad on part of a state
An extensible dead-man's switch system
Auto-generated vikunja-api API Client
Villefort is a task manager and time tracker
Frontend for video metadata tagging tools
Extensible UI for Neovim notifications and LSP progress messages
Improved fzf.vim written in lua
Git integration for buffers
Find And Replace plugin for neovim
🦥 Supercharge your Haskell experience in neovim!
A performant lsp progress status for Neovim
A blazing fast and easy to configure neovim statusline plugin written in pure lua
Snippet Engine for Neovim written in Lua
Define Neovim themes as a DSL in lua, with real-time feedback
🦥 A dead simple lazy-loading Lua library for Neovim plugins
A lazy-loading library for neovim, inspired by, but different from, nvim-neorocks/lz.n
A collection of utilities and handlers for BirdeeHub/lze
Auto load optional plugins via lua modules with lz.n
A simple OOP library for Lua
Test neovim plugins
Modernity meets insane extensibility
Temporarily providing a limited set of LSP features to neorg
An extensible framework for interacting with tests within NeoVim
UI Component Library for Neovim
A completion plugin for neovim
A completion plugin for neovim
A library for asynchronous IO in Neovim
Nerd Font icons for neovim
Neovim file explorer: edit your filesystem like a buffer
Orgmode clone written in Lua for Neovim 0.11.0+
Manage your bibliography from within your favourite editor
Lua functions you don't want to write
Allow rocks.nvim to help configure your plugins
A swiss-army knife for testing and developing rocks.nvim modules
Use rocks.nvim to install plugins from git!
🌒 Neovim plugin management inspired by Cargo, powered by luarocks
Source plugin and ftdetect directories on the Neovim runtimepath
🦀 Supercharge your Rust experience in Neovim!
A telescope.nvim extension for Manix - A fast documentation searcher for Nix
Find, Filter, Preview, Pick
An MPD client with vim-like key bindings
Interpreter for microcomputer-era BASIC
Extensible Records
Convert plain records to vinyl (and vice versa), generically
Utilities for working with OpenGL's GLSL shading language and vinyl records
Provide json instances automagically to vinyl types
Loeb's theorem for extensible records
Syntax sugar for vinyl records using overloaded labels
Initial project template from stack
Vinyl records utilities
Utilities for vinyl
Vectors for vinyl vectors
Virtual Haskell Environment builder
Painless 3D graphics, no affiliation with gloss
Simple computation of visibility polygons
An XMMS2 client
Visualize the graph-rewrite steps of a Haskell program
Create a visual profile of a program's source code
Visualize CBN reduction