Search:
Search Results
dev-ada/e3-testsuite
Generic testsuite framework in Python
dev-racket/advent-of-code
Package for fetching Advent of Code input.
dev-racket/commonmark
Fast, CommonMark-compliant Markdown parser
dev-racket/commonmark-doc
The commonmark-doc Racket package
dev-racket/commonmark-lib
The commonmark-lib Racket package
dev-racket/package-backward-compatibility-checker
check backward compatibility of changes to Racket and/or base packages
dev-racket/pipechain
The pipechain Racket package
dev-racket/qi-doc
A general-purpose functional DSL. [docs only]
dev-racket/qi-lib
A general-purpose functional DSL. [implementation only]
dev-racket/qi-test
A general-purpose functional DSL. [tests only]
dev-racket/uni-table
Unicode tables rendering with ECMA-48 Select Graphic Rendition codes support
dev-racket/yijing
Chinese Yijing Icons.
gui-apps/bemenu
dmenu clone for wayland
app-text/ronn-ng
Builds manuals in HTML and Unix man page format from Markdown
dev-lang/faust
Faust AUdio STreams is a programming language/compiler for fast DSP algorythms.
dev-ada/langkit
A Python framework to generate language parsers
dev-python/mkdocs-git-authors-plugin
Mkdocs plugin to display git authors of a page
dev-libs/malcontent
Parental controls support library
dev-racket/p5
Uses urlang to give p5.js better syntax.
dev-racket/rhombus-prototype
A compatibility package that combines original Rhombus packages
dev-racket/sxml-extra
Utilities to use with sxml
dev-java/angus-activation
Provides the implementation of the Jakarta Activation Specification
dev-cpp/nameof
Nameof operator for modern C++
sci-mathematics/primesieve
CLI and library for quickly generating prime numbers
sys-power/power-profiles-daemon
Makes power profiles handling available over D-Bus
media-gfx/pixeluvo
Easy to use image editor
dev-ada/libadalang
high performance semantic engine for the Ada programming language
sci-libs/gstlal
A gstreamer library for the LIGO Analysis Language
sci-libs/gstlal-inspiral
A gstreamer library for the LIGO Analysis Language
dev-python/mpl-animators
An interative animation framework for matplotlib
dev-java/xmpbox
An open source Java tool that implements Adobe's XMP(TM) specification
app-containers/k3d
k3d creates k3s clusters in docker
dev-java/mvel
MVFLEX Expression Language
dev-racket/formatted-string
Extends racket string to formatted string
dev-racket/qi-probe
A circuit tester style debugger for Qi.
dev-racket/sew
A meta-language for assembling a file with custom preprocessing logic.
dev-racket/sew-doc
A meta-language for assembling a file with custom preprocessing logic. (doc)
dev-racket/sew-lib
A meta-language for assembling a file with custom preprocessing logic. (lib)
dev-racket/sew-test
A meta-language for assembling a file with custom preprocessing logic. (test)
dev-racket/tmux-vim-demo
A #lang for writing and running scripted demos with tmux and vim
dev-python/Pyro5
Distributed object middleware for Python (RPC)
sys-fs/fswatch
cross-platform file change monitor with multiple backends
media-libs/cubeb
Cross-platform audio library
dev-racket/begin-with-local
Syntactic sugar around splicing-let
dev-racket/drracket-wakatime
wakatime support on DrRacket
dev-racket/spacemacs-theme
Spacemacs lite and dark color themes for DrRacket.
dev-racket/k-core
core of k theorem prover
dev-racket/k-example
examples of using k theorem prover
dev-racket/k-test
The k-test Racket package
dev-racket/memoize-lib
core library for memoize


