Search:
Search Results
dev-haskell/microlens-platform
microlens + all batteries included (best for apps)
dev-haskell/miso
A tasty Haskell front-end 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 as an abstract interface
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 aflu/unhygienic.
dev-racket/agile
#lang agile ;;
dev-racket/al2-test-runner
Alternative way of running rackunit tests
dev-racket/alexis-collection-lens
Deprecated. Use the collections-lens package instead.
dev-racket/alexis-multicast
One-to-many buffered asynchronous channels
dev-racket/alexis-collections
Deprecated. Use the collections package instead.
dev-racket/alexis-util
Various utilities and helper functions I've found useful
dev-racket/alexis-pvector
Deprecated. Use the pvector package instead.
dev-racket/alexknauth-music
Some stuff for representing music and music theory
dev-racket/algebraic
Algebraic Racket
dev-racket/alexknauth-my-object
my version of objects, inspired by things from heresy
dev-racket/algorithms
The algorithms Racket package
dev-racket/anaphoric
The anaphoric Racket package
dev-racket/amap
Gaode Amap web service API
dev-racket/andlet
Coupling and logic to let and let* forms.
dev-racket/anarki
Community-managed variant of the Arc dialect of Lisp
dev-racket/ansi-color
The ansi-color Racket package