12 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
emacs-use-package 2.4-12 0 0.00 A use-package declaration for simplifying your .emacs Poscat
haskell-clay 0.13.3-5 0 0.00 CSS preprocessor as embedded Haskell. Poscat
haskell-ide-engine-git r3043.38a6febb-3 10 0.41 The engine for haskell ide-integration. Not an IDE Poscat
haskell-language-server-git r77.80bc2e8-1 0 0.00 Integration point for ghcide and haskell-ide-engine. Poscat
haskell-latex-formulae-hakyll 0.2.0.4-3 0 0.00 A library for rendering LaTeX formulae as images using an actual LaTeX installation Poscat
haskell-latex-formulae-image 0.1.1.4-3 0 0.00 A library for rendering LaTeX formulae as images using an actual LaTeX installation Poscat
haskell-latex-formulae-pandoc 0.2.0.6-4 0 0.00 Render LaTeX formulae in pandoc documents to images with an actual LaTeX installation Poscat
lean3-bin 3.4.2-1 0 0.00 Lean Theorem Prover Poscat
purescript 0.13.6-1 0 0.00 A small strongly, statically typed programming language with expressive types, inspired by Haskell and compiling to JavaScript. Poscat
sni-modifier 1.0.0-1 0 0.00 A socks5 proxy that modifies sni header to bypass https firewalls Poscat
ttf-pingfang 0.1.0-1 0 0.00 PingFang font from Apple Poscat
v2ray-rules-git r6.32b35fd-2 0 0.00 A simple script for v2ray to set up a transparent proxy. Poscat

12 packages found. Page 1 of 1.