-
Davidson Consulting
- Rennes, France
Stars
A modern Prolog implementation written mostly in Rust.
Magical Deterministic Simulator for distributed systems in Rust.
Major CS conference publication stats (including accepted and submitted) by year.
A tool to estimate the energy consumption of your processes
The Chuck Norris of cloud benchmarks
A statically typed lisp, without a GC, for real-time applications.
Learn Domain-Driven Design, software architecture, design patterns, best practices. Code examples included
A fast functional language based on two level type theory
A program specification language with a formal syntax and ad-hoc semantics.
Which is the fastest web framework?
Open-source benchmark suite for cloud microservices
A massively parallel, optimal functional runtime in Rust
An example of a fully custom Emacs configuration developed live on YouTube!
Shared data types for building collaborative software
⚡ Energy consumption metrology agent. Let "scaph" dive and bring back the metrics that will help you make your systems and applications more sustainable !
A workbench for writing toy implementations of distributed systems.
What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolation levels.
A case study on viable techniques for vanilla web development.
Curated list of resources on testing distributed systems
💧 Learn the Elixir programming language to build functional, fast, scalable and maintainable web applications!
🔥 Phoenix is the web framework without compromise on speed, reliability or maintainability! Don't settle for less. 🚀
A personal knowledge management and sharing system for VSCode
A pub-sub system for the distributed web - my master thesis @ IST