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

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

GCC Rust: GCC Front-End for Rust
This is a full alternative implementaion of the Rust language ontop of GCC which the goal to become fully upstream with the GNU toolchain...
github.com
/rust
0 1251 0
New
Exadra37
Backend>Libraries/Tools

Use wagoodman/dive tool to explore the docker image layers
A tool for exploring a docker image, layer contents, and discovering ways to shrink the size of your Docker/OCI image.
github.com
#linux#macs#docker#backend
6 1371 3
New
First poster: bot
Backend>Libraries/Tools

Artichoke Ruby Architecture - a modular Ruby implementation written in Rust
:gem: Artichoke Ruby is a modular Ruby implementation written in Rust. Artichoke is made up of several Rust libraries, called crates, whi...
github.com
/ruby/rust
0 1359 0
New
First poster: bot
Backend>Libraries/Tools

Trussed - an open source framework for modern cryptographic applications
Today’s the day: We’re very proud to announce Trussed®, an open source framework for modern cryptographic applications, which powers the ...
trussed.dev
#announcement/rust
0 1380 0
New
finner
Backend>Libraries/Tools

Java version management tools
I thought it might be of interest to document some of the Java versioning tools that are available. Here is a very short list to start w...
/java
7 1297 1
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

Maddy: Composable all-in-one mail server
Maddy Mail Server implements all functionality required to run a e-mail server. It can send messages via SMTP (works as MTA), accept mess...
maddy.email
0 930 0
New
CommunityNews
Backend>Libraries/Tools

Rhizome – a JIT for Ruby, implemented in pure Ruby
Rhizome is a paedagogical just-in-time compiler (JIT) for Ruby, implemented in pure Ruby. It’s not really designed to be used. It’s desig...
github.com
/ruby#jit
5 1291 1
New
kirkjkrauss
Backend>Libraries/Tools

Matching wildcards – UTF-8-ready – in Go, Swift, and C/C++
In August, I came up with an algorithmic method for matching wildcards in Rust and had no trouble making it UTF-8-ready. I realized the ...
/go/swift#algorithms/c#cpp#style#dynamic-code-analysis
0 0 0
New

Other popular topics Top

PragmaticBookshelf
Data Science

Genetic Algorithms in Elixir
From finance to artificial intelligence, genetic algorithms are a powerful tool with a wide array of applications. But you don't need an ...
#pragprog#ai/elixir#published-book/book-genetic-algorithms-in-elixir
25 5243 6
New
AstonJ
General Dev>Hardware

Custom keyboard keycaps
There’s a whole world of custom keycaps out there that I didn’t know existed! Check out all of our Keycaps threads here: https://forum....
#hardware/keyboards#keycaps#mechanical-keyboards
15 11086 19
New
AstonJ
General Dev>Dev Chat

How fast do you type? Check your WPM here!
Do the test and post your score :nerd_face: :keyboard: If possible, please add info such as the keyboard you’re using, the layout (Qw...
typing-speed-test.aoeu.eu
/keyboards
82 7682 31
New
Maartz
General Dev>Dev Chat

Roc Language - a new purely functional programming language built for speed and ergonomics
Hi folks, I don’t know if I saw this here but, here’s a new programming language, called Roc Reminds me a bit of Elm and thus Haskell. ...
#programminguages#functional-programming
49 5164 14
New
husaindevelop
Android>Questions

Clipboard readtext not working in android webview
Inside our android webview app, we are trying to paste the copied content from another app eg (notes) using navigator.clipboard.readtext ...
#android#clipboard
1 5651 0
New
PragmaticBookshelf
Community>In The Spotlight

Spotlight: VM Brasseur (Author) Interview and AMA!
Author Spotlight: VM Brasseur @vmbrasseur We have a treat for you today! We turn the spotlight onto Open Source as we sit down with V...
#author-spotlight/book-forge-your-future-with-open-source
16 5051 11
New
hilfordjames
Windows>Chat

Taskbar Overflow Menu (NOT System Tray Overflow)
There appears to have been an update that has changed the terminology for what has previously been known as the Taskbar Overflow - this h...
#taskbar-overflow-win-11
3 3715 2
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

Simplicity
Fight complexity and reclaim the original spirit of agility by learning to simplify how you develop software. The result: a more humane a...
pragprog.com
#pragprog#published-book/book-simplicity
10 6553 8
New
PragmaticBookshelf
Backend>Learning Resources

Advanced Functional Programming with Elixir
Use advanced functional programming principles, practical Domain-Driven Design techniques, and production-ready Elixir code to build scal...
joekoski.com
#pragprog/elixir#published-book#functional-programming/book-advanced-functional-programming-with-elixir
43 4989 22
New
Back to top

Sponsor Spotlight

Honeybadger

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

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