endjin/Z3.Linq

Stars
35
Rank 747,617 (Top 15 %)
Language
C#
License
MIT License
Created almost 3 years ago
Updated 5 months ago

endjin/Z3.Linq

endjin

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

LINQ bindings for the Z3 theorem prover from Microsoft Research.

Templify

A tool for packaging and templating solutions

dotnet-adr

A cross platform .NET Global Tool for creating and managing Architectural Decision Records (ADRs).

Endjin.Licensing

Endjin's Software Licensing Framework

Endjin.Retry

Endjin's Retry utilities

Endjin.Assembly.ChangeDetection

An experiment to automatically detect breaking changes in .NET Assemblies

aspnetcore-razor-htmx-chartjs

A sample demonstrating how to combine aspnetcore, Razor, and HTMX to power interactive Chart.js visualisations

TeamCityPowerShell

TeamCity PowerShell Module

git-hooks

Useful Git Hooks for .NET Projects

Samples

Code Samples from the endjin blogs

adventures-in-dapr

This repository supports a blogs series based on the Dapr sample from https://github.com/EdwinVW/dapr-traffic-control

Endjin.RecommendedPractices.NuGet

A NuGet package that configures .NET projects for endjin's recommended engineering practices

Endjin.SpecFlow

Endjin.Composition

Stacker

A .NET Global Tool for automating marketing content across social channels.

playwright-two-factor-auth-csharp

Using the Playwright C# SDK to automate 2FA authentication for AAD and MSA scenarios

Endjin.Ip.Maturity.Matrix

A framework to measure maturity across the disciplines required to build, test, deploy, reuse, support & sell Intellectual Property

AngularJS-UnitTesting

Endjin.GitSignCommits

AzAppConfigToUserSecrets

A dotnet global tool for extracting settings from Azure App Configuration Service and stashing them as .NET User Secrets.

dotnet-aot-python

Endjin.OpenAPI.Converters

Visual Studio Extension for Converting to / from OpenAPI versions

Endjin.Snowflake

TeamCityJasmineMetaRunner

TeamCity MetaRunner for executing Jasmine Specifications

Endjin.RecommendedPractices.AzureDevopsPipelines.Python

Endjin.SpecFlow.Selenium

endjin's framework for using Selenium with SpecFlow

NewRelicDeploymentNotifierMetaRunner

A TeamCity MetaRunner to notify NewRelic that a new deployment has occurred

dev4good

A repository for the results of the dev4good event 2011

RxWorkshop

Archive of the Bart De Smet and Wes Dyer present Rx Workshop.

ApplicationInsightsReleaseAnnotationsMetaRunner

A TeamCity MetaRunner for creating Release Annotations in Application Insights

TeamCityILMergeMetaRunner

A Meta Runner for TeamCity that allows you to run ILMerge as a Build Step

test-data-gen

.github

Firecracker.Management

.NET SDK for the Firecracker Management API

AzureDemos

Endjin.RecommendedPractices.Bicep

Our library of reusable Bicep modules

TeamCityDemo

Solution for Demonstrating TeamCity Features.

CNAB.ARM-Converter

Endjin.Cancelable

CucumberJS.TestAdapter

A basic Visual Studio Test Adapter for CucumberJS

Endjin.RecommendedPractices.AzureDevopsPipelines.GitHub

Reusable Azure DevOps Pipelines for building & releasing OSS projects in GitHub

TeamsTranscript

A CLI Tool for manipulating Microsoft Teams Call Transcripts

Endjin.RecommendedPractices.GitHubActions

Re-usable GitHub Action workflows and actions for our standardised CI process