andreasabel Goto Github PK

refactoragda

Master's thesis project: A refactoring engine for Agda. Very much under construction.

regex-pcre-builtin

The PCRE backend to accompany regex-base, with bundled code from www.pcre.org

regression-ghc-9.6-unsafeperformio

Reproducer for a regression in GHC 9.6 concerning `unsafePerformIO`

rere

recursive regular expressions

risc386

Interpreter for symbolic 386 assembler (small fragment) written in Haskell

safecopy

An extension to Data.Serialize with built-in version control

scientific

Arbitrary-precision floating-point numbers represented using scientific notation

semigroups

Haskell 98 semigroups

semirings

semirings and *-semirings of types in base/haskell-platform

sendfile

A portable sendfile library

setup-agda

Set up a specific version of Agda for your GitHub Actions workflow.

shake

Shake build system

shellcheck

ShellCheck, a static analysis tool for shell scripts

shelltestrunner

Easy, repeatable testing of CLI programs/commands

shelly.hs

Haskell shell scripting

shift-reset-dsl

A DSL for shift and reset in Agda

short-proofs-sn

Short proofs of strong normalization a la Joachimski and Matthes

silently

Prevent or capture output to stdout or other handles in Haskell

sit

Prototypical type checker for Type Theory with Sized Natural Numbers

sized-types

Stuff concerning sized types.

skylighting

A Haskell syntax highlighting library with tokenizers derived from KDE syntax highlighting descriptions

snap-core

Core type definitions (Snap monad, HTTP types, etc) and utilities for web handlers.

split

Standard Haskell list splitting library.

splitmix

Pure Haskell implementation of SplitMix pseudo-random number generator

stack-cache-action

One-line caching action for Stack-based Haskell projects

stack-clean-old

stackage

"Stable Hackage": vetted consistent packages from Hackage

stackage-snapshots

LTS Haskell and Stackage Nightly snapshot configurations (experimental, for pantry)

starter-workflows

Accelerating new GitHub Actions workflows

statevar

State variables