fizruk Goto Github PK

modular-arithmetic

A useful type for working with integers modulo some constant.

my-yesod-project

Temporary repo for testing purposes.

packed-memory-containers

Packed memory containers.

path-pieces

Components of paths.

phi-calculus

phi-to-graph

𝜑-terms to graph building commands

polystat-cli

postgresql-simple

Mid-level client library for accessing PostgreSQL from Haskell

postgresql-simple-migration

PostgreSQL Schema Migrations

purescript-simple-dom

pygments-rzk

Pygments highlighter for Rzk language (proof assistant for synthetic ∞-categories).

replay-free

Logging and replaying interpretations of free structures.

restyled.io

Restyled.io

restylers

Language-specific restylers

rzk

An experimental proof assistant based on a type theory for synthetic ∞-categories.

rzk-action

GitHub Action to check formalisations using rzk proof assistant.

secure-connection

Demonstration of safe connection over OpenSSL, encoding messages with BSON and compressing data stream with Google Snappy.

servant-auth-token

Servant based API and server for token based authorisation

servant-criterion

Benchmarks for a servant-based API and server handlers.

servant-quickcheck

servant-swagger-haskellx-2017

A short demo of using servant and servant-swagger for HaskellXtogether Community Weekend 2017.

sfml

Low level Haskell bindings for SFML 2.x

shott

Formalisations for simplicial HoTT and synthetic ∞-categories.

simple-grin

Compiler from a simple functional language to GRIN.

simple-topes

Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes.

snakes-demo

Snakes game demo.

stack

The Haskell Tool Stack

stackage

"Stable Hackage," tools for creating a vetted set of packages from Hackage.

succinct-de-bruijn-graph

telegram-bot-simple

Easy to use library for building Telegram bots in Haskell.