Backend>Libraries/Tools

Project Coyote from Microsoft - find and reproduce deep concurrency bugs in your .NET code

OrlaghNeary

OrlaghNeary

Project Coyote from Microsoft - find and reproduce deep concurrency bugs in your .NET code

First time posting here and disclaimer, I work with Microsoft! I partner with Microsoft Research and there are so many cool projects underway we thought it could be useful to share more about them. One such research project is Coyote: Tech Minutes - Project Coyote Coyote gives the ability to write powerful, expressive tests for exercising the concurrency in your code. If useful to this community, when we have new projects I can continue to share. LMK!

2 comments
#microsoft#concurrency#coyote#dot-net
7 1543 2

Most Liked

OrlaghNeary

OrlaghNeary

Thanks Aston! It sure is!

2
Post #4
AstonJ

AstonJ

Welcome Orlagh and thanks for posting about Coyote! Is it designed to be used with .NET? If so I’ve added that to the title and moved to the Backend Libraries section :nerd_face: (if not please let me know!)

Also off-topic… but I loved your Javascript screencasts: Free JavaScript for beginners videos from Microsoft and would love to see you do similar for TypeScript - perhaps you can nudge the team in that direction? :smiley:

1
Post #3

Where Next?

View thread on forum
microsoft
concurrency
coyote
dot-net
Home Backend>Libraries/Tools
#microsoft#concurrency#coyote#dot-net
7 1543 2
Last post

Popular Backend topics Top

First poster: bot
Backend>Libraries/Tools

Rust-GPU
Release Introducing rust-gpu v0.1 :dragon: · EmbarkStudios/rust-gpu. Today, we’re releasing a very early version of rust-gpu - a new pro...
github.com
#rust-gpu
0 1107 0
New
First poster: bot
Backend>Libraries/Tools

Tex – Use Elixir like a scripting language, across your system
github.com
/elixir
0 1141 1
New
First poster: bot
Backend>Libraries/Tools

Graphik: An identity-aware document and graph database
github.com
/go#database
0 1216 0
New
CommunityNews
Backend>Libraries/Tools

Wasmer - server-side WebAssembly
Runtime and compiler performance is out of this world. New features include better error handling, a more powerful API, cross-compilation...
medium.com
/wasm
4 1769 1
New
mudasobwa
Backend>Libraries/Tools

Tarearbol - handy task runner, allowing retries, callbacks, assurance that the task succeeded, and more
Tarearbol provides a handy helper to work with many similar processes under the supervision of Tarearbol.DynamicManager. To build a supe...
rocket-science.ru
/elixir
4 1231 0
New
mudasobwa
Backend>Libraries/Tools

`Tarearbol` Library Update
Tarearbol library that eases the dealing with tasks got a massive update. use Tarearbol.Pool to create worker pools with no boilerplat...
/elixir
3 1304 1
New
First poster: bot
Backend>Libraries/Tools

Bash-LSP: A language server for Bash
bash-lsp/bash-language-server. A language server for Bash. Contribute to bash-lsp/bash-language-server development by creating an accoun...
github.com
#bash
0 1072 0
New
First poster: bot
Backend>Libraries/Tools

YOCaml - yet another static site generator, mostly written in OCaml
YOCaml is a static site generator, mostly written in OCaml. The project was started to offer some rather naive examples of how to use the...
github.com
/ocaml
2 1382 0
New
crirvine
Backend>Libraries/Tools

An alternative to Java for BPM applications
To my knowledge, up until now, all Business Process Management (BPM) platforms have been Java based. If you are a Java developer and have...
#business-process-management
2 567 0
New
sophielane
Backend>Libraries/Tools

Keploy - Open-Source Framework for Recording Application Behavior and Generating Reliable Integration and API Tests
Keploy is an open-source framework for recording real application behavior and automatically generating integration and API tests. It hel...
#web-development
0 1 0
New

Other popular topics Top

PragmaticBookshelf
General Dev>Learning Resources

A Common-Sense Guide to Data Structures and Algorithms, Second Edition
Algorithms and data structures are much more than abstract concepts. Mastering them enables you to write code that runs faster and more e...
pragprog.com
#pragprog/python/ruby#published-book/book-a-common-sense-guide-to-data-structures-and-algorithms-second-edition#math#algorithms/js
19 6022 5
New
AstonJ
General Dev>Hardware

Poll: Which keyboard layout do you use?
poll poll Be sure to check out @Dusty’s article posted here: An Introduction to Alternative Keyboard Layouts It’s one of the best write-...
colemakmods.github.io
#polls/keyboards
10 6048 11
New
Exadra37
Linux>Questions

What is the most minimalist Linux server distro?
I am asking for any distro that only has the bare-bones to be able to get a shell in the server and then just install the packages as we ...
#linux#servers
66 25846 24
New
AstonJ
macOS>Chat

How to block any website on Mac using Little Snitch
If you want a quick and easy way to block any website on your Mac using Little Snitch simply… File > New Rule: And select Deny, O...
#macos#how-to#littlesnitch
5 11227 3
New
First poster: bot
General Dev>In The News

Zig now has built-in HTTP server and client in std
zig/http.zig at 7cf2cbb33ef34c1d211135f56d30fe23b6cacd42 · ziglang/zig. General-purpose programming language and toolchain for maintaini...
github.com
/zig#http
0 5624 0
New
sir.laksmana_wenk
Game Dev>Questions

I want to learn how make a game, but where should I start?
I’m able to do the “artistic” part of game-development; character designing/modeling, music, environment modeling, etc. However, I don’t...
#game-dev
15 4965 9
New
AstonJ
AI>Chat

How to: Run DeepSeek on Mac, Windows, and Linux!
This is a very quick guide, you just need to: Download LM Studio: https://lmstudio.ai/ Click on search Type DeepSeek, then select the o...
#macs/deepseek#guides#lm-studio
14 9328 10
New
PragmaticBookshelf
Backend>Learning Resources

MySQL 9 Essentials
A concise guide to MySQL 9 database administration, covering fundamental concepts, techniques, and best practices. Neil Smyth MySQL...
pragprog.com
#pragprog#published-book/mysql/book-mysql-9-essentials
2 4162 0
New
PragmaticBookshelf
Backend>Learning Resources

Elixir Patterns
This book forgoes the abstract and instead provides concrete examples to help you better leverage the unique properties of Elixir, Erlang...
pragprog.com
#pragprog/elixir/erlang#published-book#beam/book-elixir-patterns
2 3476 2
New
pragdave
AI>Learning Resources

A Common-Sense Guide to AI Engineering
Build robust LLM-powered apps, chatbots, and agents while mastering AI engineering principles that will help you outlast the tools and th...
pragprog.com
#pragprog
17 1852 8
New
Back to top

Sponsor Spotlight

Pragmatic Studio

Courses that move you from confusion to "Aha, now I get it!"

Backend>Libraries/Tools

Backend Libraries/Tools ❯

Latest on Devtalk

Devtalk ❯

We ❤️ helpful members!

We reward our most helpful members via our MOTM scheme - by giving away a whopping 25 books per year!

Member of the Month

Devtalk Sponsors

Pragmatic Bookshelf

Practical resources that improve the lives of professional developers.

Erlang Solutions

We build trusted fault-tolerant systems that scale to billions of users.

Honeybadger

Real-time error tracking, performance insights, and observability for devs.

EEF

Supporting innovation across the BEAM ecosystem.

coders51

We build reliable cloud platforms for business-critical systems.

Manning Publications

Develop your skills with books, videos, and courses.

AppSignal

Catch errors, track performance, monitor hosts and more.

WyeWorks

Enabling companies to succeed by building software people love.

Pragmatic Studio

Courses that move you from confusion to "Aha, now I get it!"

Linux New Media

Publishing Linux Magazine, ADMIN, and MakerSpace for 25+ years.

View all our sponsors ❯

Categories:

Sub Categories:

Popular Portals

Devtalk Sponsors

Pragmatic Bookshelf

Practical resources that improve the lives of professional developers.

Erlang Solutions

We build trusted fault-tolerant systems that scale to billions of users.

Honeybadger

Real-time error tracking, performance insights, and observability for devs.

EEF

Supporting innovation across the BEAM ecosystem.

coders51

We build reliable cloud platforms for business-critical systems.

Manning Publications

Develop your skills with books, videos, and courses.

AppSignal

Catch errors, track performance, monitor hosts and more.

WyeWorks

Enabling companies to succeed by building software people love.

Pragmatic Studio

Courses that move you from confusion to "Aha, now I get it!"

Linux New Media

Publishing Linux Magazine, ADMIN, and MakerSpace for 25+ years.

View all our sponsors ❯

We're in Beta

About us Mission Statement See our Roadmap