ACP server implementation that exposes Codex CLI functionality for smoother client and IDE integration.

scala3 course, fast interview track

Run VSCode-based coding agents and extensions seamlessly within other IDE platforms - bridging the gap between VSCode ecosystem and other development environment.

OmX - Oh My codeX: Your codex is not alone. Add hooks, agent teams, HUDs, and so much more.

Source code for Scala with Cats

Source code for Functional Programming Strategies

Materials for the AI in Mathematical Research course

Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless

Lightweight coding agent that runs in your terminal

Scala client for OpenAI API and other major LLM providers

OS-Lib is a simple, flexible, high-performance Scala interface to common OS filesystem and subprocess APIs

A collection of (mostly) technical things every software developer should know about

Castor is a lightweight, typed Actor library for Scala and Scala.js

Evaluation of LLMs on latest math competitions

Hands-On with Confluent Cloud: Apache Kafka®, Apache Flink®, and Tableflow

Restore documents that were left open between sessions.

Procedural ChessSet Generator

Haskell Bindings for the OpenCASCADE CAD Kernel + A Declarative CAD/Solid Modeling Library

Agentic and LLM Programming in Scala

Extraits de code présents dans mon livre Scala

Implementation of Russian Algorithmic Programming Language

A monadic parser combinator library

LSP & DAP Client for IntelliJ

Typeclass instances for `parsley` to make it compatible with `cats`

A small Scala-like language

Prompt engineering experiments with GPT-4, Qwen2.5, and LLaMA-2 on the GSM8K dataset using strategies like Zero-shot, CoT, Few-shot, and Self-consistency.