ivanbakel Goto Github PK

mime-mail

Compose MIME email messages.

minimal-pony-coq

A formalisation of (a minimal subset of) Pony in Coq

mkcert

A simple zero-config tool to make locally trusted development certificates with any names you'd like.

nixpkgs

Nix Packages collection

oak

A typed parser generator embedded in Rust code for Parsing Expression Grammars

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

openapi-generator

OpenAPI Generator allows generation of API client libraries (SDK generation), server stubs, documentation and configuration automatically given an OpenAPI Spec (v2, v3)

ord-ranges

password

datatypes and functions for easily working with passwords in Haskell

persistent

Persistence interface for Haskell allowing multiple storage methods.

persistent-pagination

Efficient and correct pagination!

polonius

Defines the Rust borrow checker.

pool

A high-performance striped resource pooling implementation for Haskell

proc-macro2

qutebrowser

A keyboard-driven, vim-like browser based on PyQt5.

reference

The Rust Reference

rfcs

RFCs for changes to Rust

rliterate

A rust-lang implementation of the `literate` literate programming tool

rnix-lsp

WIP Language Server for Nix! [maintainer=@jD91mZM2]

rust

A safe, concurrent, practical language.

rust-ape

Arbitrary-type PEG based on Rust pattern syntax

rust-peg

Parsing Expression Grammar (PEG) parser generator for Rust

solidity

The Solidity Contract-Oriented Programming Language

stack

The Haskell Tool Stack

submodule-dependency

GitHub action to checkout submodule changes that are required for a pull request

tokenizer-server

SQL and REST for Tokenizer

traverse-with-class

type-level-sets

Type-level sets for Haskell (with value-level counterparts and various operations)

unliftio

The MonadUnliftIO typeclass for unlifting monads to IO

unliftio-pool