jeshan/hypothesis-n-queens-problem jeshan/hypothesis-n-queens-problem

  • Stars
    star
    1
  • Language
    Python
  • License
    BSD 2-Clause "Sim...
  • Created over 4 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jeshan/hypothesis-n-queens-problem
github

jeshan

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Solving the n-queens problem using property-based tests with Hypothesis

More Repositories

1

botostubs

boto3 code assistance for any API in any IDE, always up to date
Python
95
star
2

cloudformation-checklist

The checklist for meticulous AWS DevOps engineers
JavaScript
72
star
3

serverless-ghost

Ghost ported to (mostly) serverless on AWS
Python
48
star
4

scale-your-cloudformation

Success tactics for getting more out of Infrastructure as Code on AWS
JavaScript
41
star
5

lambda-checklist

The checklist for meticulous serverless engineers
JavaScript
27
star
6

gitlab-on-compose

An easy way to setup gitlab and gitlab runners using Docker Compose
23
star
7

typeformation

Type Cloudformation templates with pleasure!
Java
16
star
8

botodocs

Simple, navigable and fast documentation site for boto3 (unofficial)
Python
13
star
9

tfbridge

Create or import virtually any Terraform resource in CloudFormation
Go
10
star
10

pytest-cleanup

Automated, comprehensive and well-organised pytest test cases.
Python
7
star
11

bitcore-node

Image to run a bitcore wallet service that connects to either testnet or livenet using bitcore
JavaScript
6
star
12

easy-aws-login

easiest way to log in to the AWS console from your terminal
Python
6
star
13

ecs-task-logs-to-s3

Sends ECS tasks (both Fargate and EC2) logs to Amazon S3
Shell
5
star
14

sceptre-dot

Visualise your sceptre projects with Graphviz
Python
5
star
15

lambdatv

Sample code for demos on Lambda TV
JavaScript
4
star
16

sceptre-aws-resolver

Resolves any AWS value in your sceptre deployments
Python
4
star
17

aws-bills-to-telegram

Sends a summary of your AWS bill(s) to Telegram
Python
3
star
18

swagger-codegen-cli

Swagger codegen cli. Small docker image suitable for CI
2
star
19

fargate-environment-variables

Available environment variables in AWS Fargate
2
star
20

cfn-news-to-telegram

Sends Cloudformation feature releases to Telegram
HTML
2
star
21

list-of-cloudformation-macros

Curated list of useful Cloudformation macros that I could find
2
star
22

aws-pipeline-errors-to-telegram

Sends CodeBuild and CodePipeline errors to Telegram
Python
2
star
23

devcon-mobile

The mobile app for the annual MSCC Developers Conference. https://conference.mscc.mu
JavaScript
2
star
24

log4janalyser

A web application to view log4j logs. Support for tailing files. Built with the Vaadin framework.
Scala
1
star
25

webhook-lambda

Easily create a serverless webhook on AWS
1
star
26

ifttt-lambda-webhook-boilerplate

serverless function that receives ifttt webhook events
Shell
1
star