Search:

dev-haskell/hls-ormolu-plugin

Integration with the Ormolu code formatter

dev-haskell/hls-plugin-api

Haskell Language Server API for plugin communication

dev-haskell/hls-pragmas-plugin

Pragmas plugin for Haskell Language Server

dev-haskell/hls-retrie-plugin

Retrie integration plugin for Haskell Language Server

dev-haskell/hls-rename-plugin

Rename plugin for Haskell Language Server

dev-haskell/hls-stylish-haskell-plugin

Integration with the Stylish Haskell code formatter

dev-haskell/hls-splice-plugin

HLS Plugin to expand TemplateHaskell Splices and QuasiQuotes

dev-haskell/hls-test-utils

Utilities used in the tests of Haskell Language Server

dev-haskell/implicit-hie

Auto generate hie-bios cradles & hie.yaml

dev-haskell/iso-deriving

Deriving via arbitrary isomorphisms

dev-haskell/jupyter

A library for creating and using Jupyter kernels

dev-haskell/lsp

Haskell library for the Microsoft Language Server Protocol

dev-haskell/lsp-types

Haskell library for the Microsoft Language Server Protocol, data types

dev-haskell/lsp-test

Functional test framework for LSP servers

dev-haskell/microlens-ghc

microlens + array, bytestring, containers, transformers

dev-haskell/microlens-platform

microlens + all batteries included (best for apps)

dev-haskell/miso

A tasty Haskell front-end web framework

dev-haskell/named

Named parameters (keyword arguments) for Haskell

dev-haskell/optics

Optics as an abstract interface

dev-haskell/optics-core

Optics as an abstract interface

dev-haskell/optics-extra

Extra utilities and instances for optics-core

dev-haskell/optics-th

Optics construction using TemplateHaskell

dev-haskell/pandoc-crossref

Pandoc filter for cross-references

dev-haskell/record-dot-preprocessor

Preprocessor to allow record.field syntax

dev-haskell/refinery

Toolkit for building proof automation systems

dev-haskell/tasty-travis

Fancy Travis CI output for tasty tests

dev-haskell/validated-literals

Compile-time checking for partial smart-constructors

dev-haskell/zeromq4-haskell

Bindings to ZeroMQ 4.x

dev-python/azure-core

Microsoft Azure Core Library for Python

app-shells/schily-tools

Many tools from Joerg Schilling, including a POSIX compliant Bourne Shell

dev-python/PyVISA

Python VISA bindings for GPIB, RS232, and USB instruments

dev-python/PyVISA-sim

Simulated backend for PyVISA implementing TCPIP, GPIB, RS232, and USB resources

net-vpn/wireguard-namespace-service

A script and a service to bring up isolated namespace for WireGuard

media-gfx/textext

Re-editable LaTeX graphics for Inkscape

net-vpn/eduvpn-client

Linux client and Python client API for eduVPN

dev-racket/1d6

A partial implementation of the Troll dice-rolling language in Racket.

dev-racket/2htdp-typed

A partial version of 2htdp for Typed Racket

dev-racket/_

The _ Racket package

dev-racket/_-exp

The _-exp Racket package

dev-racket/abnf

Attributed BNFs for Scribble

dev-racket/adapton

Adapton: Composable, Demand-Driven Incremental Computation

dev-racket/acmsmall

Port of the acmsmall style to Scribble

dev-racket/acl2s-scribblings

a scribble document for beginner mode of ACL2s

dev-racket/adjutor

A helper library

dev-racket/admiral-edu-server

The Racket code associated with the Captain Teach server

dev-racket/affix

Managing Racket application state

dev-racket/afl

a lang-extension that provides rackjure-like anonymous function literals

dev-racket/agatha

Uma linguagem para Logica de primeira ordem

dev-racket/aful

A fork of #lang afl which also supports #lang aful/unhygienic.

dev-racket/agile

#lang agile ;;