Implementation of EnvCap: A Programming Language with Capabilities as First-Class Modules using λₑ with extensions as the Core Calculus.
-
Updated
Nov 11, 2024 - Coq
Implementation of EnvCap: A Programming Language with Capabilities as First-Class Modules using λₑ with extensions as the Core Calculus.
Neotest adapter for Haskell (cabal or stack) with support for Sydtest, Hspec and Tasty
Golden tests with Hspec
Subset of Common Lisp
A small library of convenient functions for writing hspec tests
Utility functions for testing Megaparsec parsers with Hspec
LeanCheck support for the Hspec test framework.
TDD with Clean Architectecture (aka Hexagonal, Ports & adapter) in Haskell
Utility functions for testing on Codewars with Hspec
Read a Git project directory, and resolve the stack used - a CLI tool.
REST service in container with Haskell-servant, PostgreSql-simple, PostgreSql-simple-migration
Some unofficial exercises as a companion for the book Learn You a Haskell For Great Good!
Add a description, image, and links to the hspec topic page so that developers can more easily learn about it.
To associate your repository with the hspec topic, visit your repo's landing page and select "manage topics."