Skip to content
View dsaingre's full-sized avatar
  • Davidson Consulting
  • Rennes, France

Block or report dsaingre

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

sched_ext schedulers and tools

C 1,143 108 Updated Mar 3, 2025

A Benchmark Suite for Cloud Services.

C 216 122 Updated May 22, 2024

A modern Prolog implementation written mostly in Rust.

Rust 2,167 139 Updated Mar 1, 2025

Magical Deterministic Simulator for distributed systems in Rust.

Rust 758 50 Updated Jan 9, 2025

Major CS conference publication stats (including accepted and submitted) by year.

Python 118 10 Updated Dec 20, 2024

A tool to estimate the energy consumption of your processes

C++ 11 Updated Dec 17, 2024

The Chuck Norris of cloud benchmarks

Jinja 296 130 Updated Feb 3, 2025

A statically typed lisp, without a GC, for real-time applications.

Haskell 5,619 173 Updated Nov 26, 2024

Learn Domain-Driven Design, software architecture, design patterns, best practices. Code examples included

TypeScript 13,052 1,345 Updated Jun 11, 2024

A fast functional language based on two level type theory

Haskell 389 4 Updated Jan 6, 2023

A program specification language with a formal syntax and ad-hoc semantics.

Janet 71 2 Updated Sep 18, 2023

State of the art for unikernels

213 9 Updated Apr 30, 2024

Yahoo! Cloud Serving Benchmark

Java 5,006 2,264 Updated Dec 12, 2024

Which is the fastest web framework?

PHP 7,034 690 Updated Mar 2, 2025

Open-source benchmark suite for cloud microservices

Lua 789 429 Updated Jul 9, 2024

A massively parallel, optimal functional runtime in Rust

Cuda 10,849 419 Updated Nov 21, 2024

An example of a fully custom Emacs configuration developed live on YouTube!

Emacs Lisp 1,803 308 Updated May 27, 2023

🌱 Grow delightful software

Elm 256 9 Updated Apr 23, 2019

Shared data types for building collaborative software

JavaScript 18,415 645 Updated Feb 24, 2025

⚡ Energy consumption metrology agent. Let "scaph" dive and bring back the metrics that will help you make your systems and applications more sustainable !

Rust 1,696 111 Updated Feb 11, 2025

Functional Programming Course

Haskell 4,167 1,198 Updated Dec 2, 2024

A workbench for writing toy implementations of distributed systems.

Clojure 3,197 194 Updated Feb 4, 2025

What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolation levels.

2,535 189 Updated Oct 14, 2024

A case study on viable techniques for vanilla web development.

JavaScript 1,172 55 Updated Feb 15, 2025

Curated list of resources on testing distributed systems

HTML 2,528 231 Updated Mar 2, 2025

💧 Learn the Elixir programming language to build functional, fast, scalable and maintainable web applications!

Elixir 1,648 109 Updated Oct 7, 2024

🔥 Phoenix is the web framework without compromise on speed, reliability or maintainability! Don't settle for less. 🚀

Elixir 650 45 Updated Oct 31, 2024

A personal knowledge management and sharing system for VSCode

TypeScript 15,734 680 Updated Feb 21, 2025

A pub-sub system for the distributed web - my master thesis @ IST

TeX 39 6 Updated Sep 24, 2021
Next
Showing results