6-day longest streak
Hi! My name is Maël (prononciation). I am a software engineer living in Toulouse (France). I like to promote psychological safety through transparency, empathy and kindness. I do infrastructure software…
Hi! My name is Maël (prononciation). I am a software engineer living in Toulouse (France). I like to promote psychological safety through transparency, empathy and kindness. I do infrastructure software around networking and containers. After multiple technically successful projects and the realization that no user was using them, I started shifting from building software to helping out figure whether building or not building, and I discovered that "product management" is the role that fits this description.
You may read about me digging into networking, Go development, and Kubernetes on my blog.
Some of my contributions: [cert-manager][] (Go), [gitlab][] (Ruby), [boost-graph][] (C++), [auto-multiple-choice][] (C++, Perl), kubernetes-sigs/kind and kubernetes-sigs/cluster-api (Go), [ocaml-minisat][], [ocaml-qbf][], [ocamlyices2][], [opam][] (OCaml). I authored [homebrew-amc][], [touist][] (OCaml) and a couple of [vscode-extensions][].
[ocamlyices2]: https://github.com/polazarus/ocamlyices2/issues?q=involves%3Amaelvls
[ocaml-minisat]: https://github.com/c-cube/ocaml-minisat/issues?q=involves%3Amaelvls
[ocaml-qbf]: https://github.com/c-cube/ocaml-qbf/issues?q=involves%3Amaelvls
[opam]: https://github.com/ocaml/opam-repository/issues?q=involves%3Amaelvls
[gitlab]: https://gitlab.com/gitlab-org/gitlab-ce/merge_requests/1150
[boost-graph]: https://github.com/boostorg/graph/issues?q=involves%3Amaelvls
[homebrew-amc]: https://github.com/maelvls/homebrew-amc
[auto-multiple-choice]: https://gitlab.com/jojo_boulix/auto-multiple-choice/-/merge_requests?scope=all&utf8=%E2%9C%93&state=all&author_username=maelvls
[touist]: https://github.com/touist/touist
[maelvls/awx-gke-terraform]: https://github.com/maelvls/awx-gke-terraform
[maelvls/terraform-touist]: https://github.com/maelvls/terraform-touist
[masters-thesis]: https://drive.google.com/file/d/0B5mz8k-t6PT0N2lINEZYX2duOFU/view
[vehicule-routing-report]: http://homepages.laas.fr/sungueve/Docs/Etu/rapport-ter-aide-humanitaire.pdf
[homebrew-tap-auto-bottles]: https://gist.github.com/maelvls/068af21911c7debc4655cdaa41bbf092
[maelvls/users-grpc]: https://github.com/maelvls/users-grpc
[rust-chat]: https://github.com/maelvls/rust-chat
[touist-server]: https://github.com/maelvls/touist-editor/blob/master/touist-server/src/main.rs
[maelvls.github.io]: https://maelvls.github.io/
[[email protected]]: mailto:[email protected]
[vscode-extensions-github]: https://github.com/maelvls?utf8=%E2%9C%93&tab=repositories&q=vscode&type=&language=
[vscode-extensions]: https://marketplace.visualstudio.com/search?term=maelvalais&target=VSCode&category=All%20categories&sortBy=Relevance
[linus-fuck-kay]: http://lkml.iu.edu/hypermail/linux/kernel/1404.0/01331.html
[cert-manager]: https://github.com/jetstack/cert-manager/issues?q=involves%3Amaelvls
🔰 Curriculum & contact information
System Software Engineer at CyberArk _(2021–present)_
I joined the cert-manager team at Jetstack. Jetstack was acquired by Venafi in 2021, which was acquired by CyberArk in 2024.
As part of the cert-manager core team, I mentored new contributors into merging their first pull request. During my mandate as a release lead of cert-manager, I worked on moving away from Bazel in order to reduce the friction new contributors were feeling when getting started. I worked with sig-network on the Gateway API integration in cert-manager, as well as on making the ingress resource documentation clearer for ingress controller implementors and ingress users alike.
Along with the open-source work, I contributed to Jetstack's enterprise offering, and led an effort towards customer success via lean product practices.
System Software Engineer at Ori Industries _(2019–2020)_
As a Software Engineer at Ori Industries, my main focus was to develop an edge-aware version of Cloud Foundry. Telcos would use this infrastructure platform to leverage its low-latency last-mile 5G network. With this platform, they can sell compute time to developers with a network latency of 1-2 ms, acting as a public cloud provider of their own.
As an individual contributor, I helped shape the Kubernetes components that would make up the Ori infrastructure platform. Among others, my team built a Kubernetes native API for spinning up VMs on AWS, GCP, and OpenStack and bootstrap them into Kubernetes clusters. I also worked on a custom control plane for Envoy (our platform’s data plane) inspired by Istio. I contributed to the company’s initial REST API built-in Go that used a CQRS approach and NATS for the event persistence. My main achievement as an individual contributor has been to become the go-to person anyone would come to regarding Kubernetes controllers as well as for debugging Kubernetes and network-related issues.
After a few months, I stepped up as tech lead in a team of four people. I would run the daily standups, make sure the backlog is in good shape, work with the Product Manager to flesh out stories, point the stories with the team, run a biweekly retro meeting (we ended up working in an uninterrupted sprint). Notable achievements are the “project office hours” I started; the meeting increased the cross-team communication through demos and open discussions about anything more or less related to my team’s project.
Beyond my primary assignment, I also worked with the rest of the company on topics such as
- Helped grow the remote-first culture thought experiments such as the “wormhole” and by pushing for better video call quality (more than 70% of the company now equipped with proper standalone mics such as the Blue Yeti). A blog post about my experience of remote work is published here.
- I initiated a movement towards transparency across the company that led to a rewrite of the “values” page. We started recording meetings and creating, for each meeting, a shared document with an agenda and collaboratively-written minutes.
- Contributed to the company knowledge base on various topics such as “the git guide,” “slack etiquette,” and “recording and sharing meetings.”
- Attended all weekly meetings of sig-cluster-lifecycle to keep the company up to date with upstream developments as well as advocate for our solution; contributions: kubernetes\-sigs/kind, kubernetes\-sigs/cluster-api
- I helped develop a self-learning program where each engineer spends 20% of their time training on various topics. I authored a couple of blog posts and proposed learning topics engineers would pick during their training (mainly around Kubernetes controllers, networking, and Linux-y things).
- I authored the technical test given to applicants and was part of the technical interviews.
- I wrote multiple internal kubectl plugins for interacting with our custom resources and a tool for monitoring and removing unused VMs on OpenStack, AWS, and GCP.
- I authored ngroker, a tool we used at Ori for running a shared ssh session without the hassle of exchanging ssh keys (using Github usernames).
- I wrote an interactive ChatOps bot using Github Actions for applying Terraform changes through PRs.
Fullstack Software Engineer contracted to La Banque Postale _(2019)_
As part of a network operations team, I built a web application meant to become a self-updating repository of IP assignments (as opposed to using Excel sheets), which helps the operations team plan and execute fail-overs.
Tools used: Java, Spring Boot, Typescript, Angular 2+, NgRx.
Systems Software Engineer contracted to Orange _(2018)_
As part of an operations team, I built a Terraform plugin in Go for a private cloud used within Orange (mainly interacting with VMWare vRA 7 APIs). I also worked on the continuous testing and delivery of Docker images used by application teams across the company.
Tools used: Go, Terraform, Gitlab CI, Bash, VMWare vRA 7.
Education
Ph.D. in Computer Science _(2016–2018)_
I developed touist, a compiler written in OCaml for a new logic language meant to formalize and solve problems expressed as SAT expressions. The tool is now used to teach logic to first-year students at Université Paul Sabatier in Toulouse and is used by researchers to explore new SAT encodings; see the thesis (in French).
As part of my PhD, I also helped develop a web application serving as a frontend to the compiler written in VueJS and Rust; we deployed it through Docker images built by Travis CI and run using AWS ECS.
Tools used: OCaml, Rust, Typescript, AWS ECS, Travis CI.
Contact details
- [email protected] (GSuite-enabled)
- +33 786484391
- _Maël Valais_ on Kubernetes Slack and Gopher Slack
- Blog
- Toulouse, France
-
cert-manager ★ PINNED ⑂
Automatically provision and manage TLS certificates in Kubernetes
Go ★ 0 1mo agoExplain → -
print-your-cert ★ PINNED ⑂
Get your certificate printed at the cert-manager booth at KubeCon EU 2024 in Paris!
★ 0 1y agoExplain → -
hudevto ★ PINNED
🧵 Push your Hugo posts to your dev.to account!
Go ★ 11 1y agoExplain → -
kubectl-incluster ★ PINNED
📜 A kubectl plugin that prints a valid token-based kubeconfig you can use to run kubectl and controllers out-of-cluster for debugging purposes
Go ★ 11 8mo agoExplain → -
homebrew-amc
🍺 Homebrew formula for auto-multiple-choice 📖
Ruby ★ 44 10mo agoExplain → -
livebox
🍊 A simple CLI for interacting with a Livebox 4, 5, 6 or 7.
Go ★ 13 8mo agoExplain → -
rust-chat
📦 A short proof-of-concept of a plain-ascii server-client chatting service I did for learning Rust
Rust ★ 10 6y agoExplain → -
secret-transform
Renames and transforms the tls.crt, tls.key, and ca.crt keys from your Kubernetes Secret resources.
Go ★ 10 1y agoExplain → -
vscode_autotools ⑂
Autotools syntax highlighting for vscode (adapted from Sublime Text)
JavaScript ★ 10 3y agoExplain → -
awx-gke-terraform
Deploy AWX on GKE using Terraform + Helm + LetsEncrypt TLS (with cert-manager) + automatic DNS (external-dns) with Cloudflare + Traefik (LB) + Grafana
HCL ★ 10 6y agoExplain → -
vscode-dune
VSCode syntax coloring for Dune/Jbuilder, the OCaml/Reason build system
TypeScript ★ 10 5y agoExplain → -
users-grpc
🐳 A gRPC microservice for dealing with users and its CLI client + Helm chart ✨
Go ★ 9 3y agoExplain → -
maelvls.github.io
Source for my personal webpage (https://maelvls.dev)
CSS ★ 5 11mo agoExplain → -
hack-your-controller-in-bash
Presentation given at KCD Berlin 2022. In the presentation, we show how to create a simple Bash controller, with the example ExternalSecrets and Vault.
Shell ★ 5 3y agoExplain → -
google-to-synology-sso ⑂
Fork of Dex that lets use standard Google accounts to log into Synology using Synology's SSO feature
Go ★ 4 11mo agoExplain → -
gh-actions-chatops
🐧 ChatOps + Terraform using Github Actions
HCL ★ 4 6y agoExplain → -
koka-vscode
An extension for VS Code which provides support for the Koka language.
JavaScript ★ 4 8y agoExplain → -
madoko-vscode
Syntax support for the Madoko language
★ 4 8y agoExplain → -
we-want-ics
Tiny parser for turning CELCAT XML Timetables to convenient ICS files
Python ★ 3 5y agoExplain → -
gmpl.vim ⑂
A GMPL vim syntax highlight sheet
Vim script ★ 3 8y agoExplain → -
ngroker
🧸 Ngroker is a tiny helper for creating an ngrok session for pairing with my colleagues just by using their Github usernames
Shell ★ 3 4y agoExplain → -
clockidup
⏱ A CLI for generating a Jetstack standup entry using your Clockify time entries
Go ★ 3 4y agoExplain → -
vcpctl
A CLI to help you edit the Firefly Configuration, Firefly Sub CA, and Firefly Policies in Venafi Control Plane.
Go ★ 2 1mo agoExplain → -
cidrcalc
CLI for calculating the biggest CIDR from a list of IPs
Go ★ 2 5mo agoExplain → -
foncia
Regroupe les facture et ordres de services en une seule page. Utile pour les membres du conseil syndical d'une copropriété Foncia.
Go ★ 2 10mo agoExplain → -
climso-auto
Logiciel d'automatisation de l'ajustement de la monture équatoriale des appareils CLIMSO au Pic du Midi. Effectué durant le stage à l'IRAP en 2014 (5 mois).
C++ ★ 2 8y agoExplain → -
grammar-debug ⑂
A simple script for testing/debugging your TM language files
JavaScript ★ 2 8y agoExplain → -
gitlab-tools
No description.
Shell ★ 1 5y agoExplain → -
rbtree-gif
🎋 Visualize what happens to a red-black tree when nodes are inserted and removed
C ★ 1 5y agoExplain → -
koka ⑂
Koka language compiler and interpreter
Haskell ★ 1 9y agoExplain → -
k.maelvls.dev
⛵️ Infra-as-code for my playground Kubernetes cluster stuff hosted on *.k.maelvls.dev
Shell ★ 1 5y agoExplain → -
read-form
Dump the PDF form fields from AcroForm and XfaForm PDF forms (drop-in replacement for pdftk dump_data_fields_utf8)
C ★ 1 6y agoExplain → -
homebrew-test-bot ⑂
🎰 Tests the full lifecycle of a Homebrew change.
Ruby ★ 1 6y agoExplain → -
opam ⑂
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
OCaml ★ 1 8y agoExplain → -
ocaml-qbf ⑂
OCaml bindings to QBF solver(s)
C ★ 1 9y agoExplain → -
opam-repository ⑂
Main public package repository for OPAM, the source package manager of OCaml.
OCaml ★ 1 5y agoExplain → -
agent-slack ⑂
Slack automation CLI for AI agents
★ 0 9d agoExplain → -
release ⑂
Releasing tooling for the cert-manager project
★ 0 1mo agoExplain → -
kubernetes-community ⑂
Kubernetes community content
★ 0 4mo agoExplain → -
website ⑂
Source code for the cert-manager.io website, including project documentation
JavaScript ★ 0 1mo agoExplain → -
csi-driver-spiffe ⑂
A Kubernetes CSI plugin to automatically mount SPIFFE certificates to Pods using ephemeral volumes
★ 0 5mo agoExplain → -
website-1 ⑂
Kubernetes website and documentation repo:
★ 0 5mo agoExplain → -
awswhois
CLI for identifying the AWS region and AWS service (ec2...) from an IP addresse or a hostname.
Go ★ 0 5mo agoExplain → -
glab-cloneall
Clones and syncs all repos under a certain GitLab subgroup.
Go ★ 0 5mo agoExplain → -
sca-elevate-api ⑂
CLI tool using SCA APIs to enable ZSP access for cloud service management.
★ 0 5mo agoExplain → -
linky-exporter ⑂
Prometheus exporter to French Eletrical Remote Information (TeleInfo Linky)
★ 0 6mo agoExplain → -
homebrew-tap-1 ⑂
Homebrew tap for Venafi tools
★ 0 6mo agoExplain → -
harbor-cli ⑂
[Sandbox] Official Harbor CLI
★ 0 6mo agoExplain → -
gh-to-jira
Creates Jira tickets for each GitHub issue and PR
Go ★ 0 6mo agoExplain → -
homewizard-kwh-exporter
Prometheus exporter for the kWh Meter 1-Phase
Go ★ 0 8mo agoExplain → -
dotfiles
No description.
Shell ★ 0 9mo agoExplain → -
gh-co-author
A gh CLI extension for adding "Co-authored-by" trailers to your commits. Give credit where it’s due!
Go ★ 0 1y agoExplain → -
hugo-vitae ⑂
Vitae is a blog theme for Hugo that focuses on your content.
CSS ★ 0 1y agoExplain → -
undent
Undent lets you inline multi-line strings in Go code without losing in readability.
Go ★ 0 1y agoExplain → -
tppcred
A utility to edit the Generic Credentials in TPP.
Go ★ 0 1y agoExplain → -
makefile-modules ⑂
Reusable Makefile modules that can be kloned into your project
Makefile ★ 0 1y agoExplain → -
maelvls
My GitHub README.md available at https://github.com/maelvls
★ 0 1y agoExplain → -
cilium ⑂
eBPF-based Networking, Security, and Observability
★ 0 1y agoExplain → -
oras ⑂
OCI registry client - managing content like artifacts, images, packages
★ 0 2y agoExplain → -
toc ⑂
⚖️ The CNCF Technical Oversight Committee (TOC) is the technical governing body of the CNCF Foundation.
★ 0 2y agoExplain → -
jl ⑂
jl — JSON Logs, a development tool for working with structured JSON logging.
★ 0 2y agoExplain → -
mc-status
CLI for pinging your server and showing that as a web page.
Go ★ 0 2y agoExplain → -
gohelp-to-md
Turn help output from a Go program into a Markdown table. Only compatible with Go's flag package.
Go ★ 0 2y agoExplain → -
approver-policy ⑂
approver-policy is a cert-manager approver that allows users to define policies that restrict what certificates can be requested.
★ 0 2y agoExplain → -
c4
Monitor and nuke unused VMs from GCP, AWS and OpenStack and save costs
Go ★ 0 2y agoExplain → -
foundation ⑂
☁️♮🏛File non-technical issues related to CNCF
★ 0 4mo agoExplain → -
issuer-lib ⑂
issuer-lib is the Go library for building cert-manager issuers.
★ 0 2y agoExplain → -
community-1 ⑂
Contribution and Collaboration Guidelines for the cert-manager Project
★ 0 2y agoExplain → -
openshift-routes ⑂
OpenShift Route support for cert-manager
★ 0 1y agoExplain → -
cloudroutesync
♾ Sync netlink routes with your cloud routing table (author: @networkop)
★ 0 5y agoExplain → -
grammalecte ▣
Unofficial grammalecte repo (grammalecte doen't have any official source control manager)
Lex ★ 0 7y agoExplain → -
eventroad ▣
Event-sourcing library PoC with NATS
Go ★ 0 6y agoExplain → -
kubectl-view-secret ⑂
Kubernetes CLI plugin to decode Kubernetes secrets
★ 0 3y agoExplain → -
lunarvim.org ⑂
🌐 Website for LunarVim
★ 0 3y agoExplain → -
vcert ⑂
Go client SDK and command line utility designed to simplify integrations by automating key generation and certificate enrollment using Venafi machine identity services.
★ 0 1mo agoExplain → -
fabric ⑂
Hyperledger Fabric is an enterprise-grade permissioned distributed ledger framework for developing solutions and applications. Its modular and versatile design satisfies a broad range of industry use cases. It offers a unique approach to consensus that enables performance at scale while preserving privacy.
★ 0 4y agoExplain → -
kImageAnnotator ⑂
Tool for annotating images
★ 0 3y agoExplain → -
testing ⑂
Repository containing Jetstack testing infrastructure configuration
Shell ★ 0 2y agoExplain → -
dev-assist ⑂
Contains source code of dev assist extension.
★ 0 4y agoExplain → -
recordings-uploader
No description.
Go ★ 0 4y agoExplain → -
cilium-service-mesh-beta ⑂
Instructions and issue tracking for Service Mesh capabilities of Cilium
★ 0 4y agoExplain → -
stuffproxy
My nginx proxy that I use for my Synology NAS
Dockerfile ★ 0 4y agoExplain → -
next-netlify-starter
No description.
JavaScript ★ 0 4y agoExplain → -
soperationalize ⑂
Secrets ops for cert-manager
★ 0 4y agoExplain → -
infrastructure ⑂
cert-manager infrastructure
★ 0 4y agoExplain → -
kubernetes ⑂
Production-Grade Container Scheduling and Management
★ 0 4y agoExplain → -
edge-stack ⑂
Kubernetes-native API gateway for microservices built on the Envoy Proxy with built-in features for securing and managing traffic
★ 0 4y agoExplain → -
prowdig
Make the cert-manager CI faster by finding which tests have timeouts too large.
Go ★ 0 3y agoExplain → -
controller-runtime ⑂
Repo for the controller-runtime subproject of kubebuilder (sig-apimachinery)
★ 0 4y agoExplain → -
zsh-navigation-tools
A fork
★ 0 4y agoExplain → -
gobject-introspection
Fork of https://gitlab.gnome.org/GNOME/gobject-introspection for the purpose of https://github.com/maelvls/homebrew-amc/pull/70 until 1.72.0 is released.
C ★ 0 4y agoExplain → -
istio.io ⑂
Source for the istio.io site
★ 0 4y agoExplain → -
controller-runtime-cache-race
https://github.com/kubernetes-sigs/controller-runtime/issues/1660
Go ★ 0 4y agoExplain → -
haproxy-ingress ⑂
HAProxy Ingress
★ 0 5y agoExplain → -
clockify-standup
Generates a jetstack format standup based on data in clockify
★ 0 6y agoExplain → -
marketplace-k8s-app-tools ⑂
No description.
★ 0 5y agoExplain → -
traefik ⑂
The Cloud Native Application Proxy
Go ★ 0 5y agoExplain → -
homebrew-awless ⑂
awless brew formula
★ 0 5y agoExplain → -
docsy ⑂
A set of Hugo doc templates for launching open source content.
★ 0 5y agoExplain → -
termscp ⑂
Terminal SFTP/SCP/FTP client, basically WinSCP on a terminal
★ 0 5y agoExplain → -
kubetap ⑂
Kubectl plugin to interactively proxy Kubernetes Services with ease
★ 0 5y agoExplain → -
node-markdown-spellcheck ⑂
spellchecks markdown files
★ 0 5y agoExplain → -
grill ⑂
cram-like test runner
★ 0 9y agoExplain → -
unleash-hosted-gcp-marketplace ⑂
Contains configuration and user guide for the Unleash-enterprise offering at google marketplace.
★ 0 6y agoExplain → -
one-click-hugo-cms
No description.
CSS ★ 0 5y agoExplain → -
about-us ⑂
Building Bridges That Educate & Empower Underrepresented Communities.
★ 0 5y agoExplain → -
ocamlyices2 ⑂
Yices 2 SMT solver binding for OCaml
C ★ 0 5y agoExplain → -
dev-to-git ⑂
Publish a blog post (markdown file) to Dev.to from your command line or from CI with this CLI
★ 0 5y agoExplain → -
helm-leftover
No description.
HTML ★ 0 5y agoExplain → -
dotfiles-1 ⑂
No description.
Shell ★ 0 5y agoExplain → -
helm-charts
The helm charts for users-grpc
★ 0 5y agoExplain → -
terraform-provider-vra7 ⑂
Terraform provider for vRealize Automation 7
Go ★ 0 7y agoExplain → -
namegenerator ⑂
A random name generator (for projects, servers, cluster nodes, etc ...) implementation in Golang.
★ 0 5y agoExplain → -
snapgo
Jest Snapshots for Gomock proof of concept
Go ★ 0 6y agoExplain → -
rm-openstack-servers
Drone CI cleans up any leftover VMs on OpenStack. I can't be paying for all those VMs 😁
★ 0 6y agoExplain → -
terraform-touist
Infrastructure-as-code for the TouIST web IDE. This infra was decommissioned but I keep the tf files around 😄
HCL ★ 0 7y agoExplain → -
cluster-api ⑂
Home for the Cluster Management API work, a subproject of sig-cluster-lifecycle
★ 0 6y agoExplain → -
slackdig
🔎 Dig into your Slack workspace: are you missing any channels?
Go ★ 0 6y agoExplain → -
switch_interfaces
Switch network interface and proxy simultaneously (Gnome + NetworkManager). Useful for switching networks when working behind a corporate firewall 😁
Shell ★ 0 6y agoExplain → -
homebrew-tap ⑂
Homebrew Tap for installing the Go binary version of git-duet
★ 0 6y agoExplain → -
dashboard ⑂
A dashboard for Tekton!
★ 0 6y agoExplain → -
mc ⑂
MinIO Client is a replacement for ls, cp, mkdir, diff and rsync commands for filesystems and object storage.
★ 0 6y agoExplain → -
cactus ⑂
No description.
★ 0 6y agoExplain → -
lastpass-cli ⑂
LastPass command line interface tool
★ 0 2y agoExplain → -
git-duet ⑂
Support for pairing with git
★ 0 6y agoExplain → -
jx-docs ⑂
the source code used to build the documentation and website for Jenkins X
★ 0 6y agoExplain → -
kotlin-jupyter ⑂
Kotlin kernel for Jupyter/iPython
Kotlin ★ 0 8y agoExplain → -
oh-my-zsh ⑂
A delightful community-driven (with 1,100+ contributors) framework for managing your zsh configuration. Includes 200+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, php, python, etc), over 140 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
Shell ★ 0 7y agoExplain → -
tilt.build ⑂
Tilt landing page
★ 0 6y agoExplain → -
secrets
No description.
★ 0 6y agoExplain → -
kind ⑂
Kubernetes IN Docker - local clusters for testing Kubernetes
★ 0 10mo agoExplain → -
Envoy-Pilot ⑂
Envoy xDS Server with Consul
Go ★ 0 6y agoExplain → -
gotests ⑂
Generate Go tests from your source code.
★ 0 5y agoExplain → -
mux ⑂
A powerful HTTP router and URL matcher for building Go web servers with 🦍
Go ★ 0 7y agoExplain → -
pact-broker-kubernetes
Example of kubernetes deployement files for Pact broker (https://docs.pact.io/)
★ 0 7y agoExplain → -
curl2httpie ⑂
covert command arguments between cURL and HTTPie
Go ★ 0 7y agoExplain → -
ycmd ⑂
A code-completion & code-comprehension server
C++ ★ 0 10y agoExplain → -
YouCompleteMe ⑂
A code-completion engine for Vim
Python ★ 0 10y agoExplain → -
agkozak-zsh-prompt ⑂
A fast, asynchronous ZSH prompt with color ASCII indicators of Git, exit, SSH, and vi mode status. Framework-agnostic and customizable.
Shell ★ 0 7y agoExplain → -
vs-shell-format ⑂
the shellscript、Dockerfile、properties ...... format extension
TypeScript ★ 0 7y agoExplain → -
irit.fr-maelvalais
Source for my academic webpage (mirror: https://maelvalais.github.io)
HTML ★ 0 7y agoExplain → -
goreleaser ⑂
Deliver Go binaries as fast and easily as possible
Go ★ 0 7y agoExplain → -
golangci-lint ⑂
Linters Runner for Go. 5x faster than gometalinter. Nice colored output. Can report only new issues. Fewer false-positives. Yaml/toml config.
Go ★ 0 7y agoExplain → -
maelvalais.github.io
Generated by hugo from https://github.com/maelvalais/irit.fr-maelvalais
HTML ★ 0 7y agoExplain → -
filter-ip
No description.
Go ★ 0 7y agoExplain → -
instr
No description.
★ 0 7y agoExplain → -
ConEmu.github.io ⑂
Official ConEmu page on GitHub
HTML ★ 0 7y agoExplain → -
presentation-these-mael
Source code for my PhD defense
TeX ★ 0 7y agoExplain → -
homebrew-core-linuxbrew ⑂
:beers::penguin: Core formulae for the Linuxbrew package manager
Ruby ★ 0 8y agoExplain → -
homebrew-core ⑂
🍻 Default formulae for the missing package manager for macOS
Ruby ★ 0 7y agoExplain → -
gobuffalo ⑂
The source for http://www.gobuffalo.io
JavaScript ★ 0 7y agoExplain → -
phd-thesis-mael
No description.
TeX ★ 0 7y agoExplain → -
vra-integration-go
CLI to create VMs by interfacing with VRA wrapper.
Go ★ 0 8y agoExplain → -
touist-editor ⑂
Simple browser-based IDE for TouIST
JavaScript ★ 0 7y agoExplain → -
ProxyMan ⑂
Configuring proxy settings made easy.
Shell ★ 0 7y agoExplain → -
go-plist ⑂
A pure Go Apple Property List transcoder
Go ★ 0 7y agoExplain → -
rls-vscode ⑂
RLS-based plugin for VSCode
TypeScript ★ 0 7y agoExplain → -
cppo ⑂
C-style preprocessor for OCaml
OCaml ★ 0 9y agoExplain → -
vscode-markdown ⑂
Markdown All in One
TypeScript ★ 0 7y agoExplain → -
swagger-irit-people
A swagger API that scraps the Search People at irit.fr and provides a transparent API for browsing people
JavaScript ★ 0 7y agoExplain → -
TouIST-again...-formalisez-et-r-solvez-facilement-des-probl-mes-avec-des-solveurs-SAT-SMT-et-QBF-
No description.
TeX ★ 0 7y agoExplain → -
tree-sitter-ocaml ⑂
OCaml grammar for tree-sitter
JavaScript ★ 0 8y agoExplain → -
qute ⑂
Qute: a dependency learning QBF solver.
C++ ★ 0 8y agoExplain → -
ocaml-minisat ⑂
Simple bindings to Minisat-C
OCaml ★ 0 8y agoExplain → -
docs ⑂
Official repository containing all docs & guides of OVH Group
★ 0 8y agoExplain → -
scantailor-advanced ⑂
ScanTailor Advanced is the version that merges the features of the ScanTailor Featured and ScanTailor Enhanced versions, brings new ones and fixes.
C++ ★ 0 8y agoExplain → -
homebrew-touist ⑂
🍺 Homebrew repo for the TouIST formula
Ruby ★ 0 8y agoExplain → -
fac ⑂
Easy-to-use CUI for fixing git conflicts
Go ★ 0 6y agoExplain → -
rareqs
git import of the rareqs project
C++ ★ 0 8y agoExplain → -
hugo-touist.github.io
No description.
HTML ★ 0 8y agoExplain → -
brew ⑂
🍺 The missing package manager for macOS
Ruby ★ 0 5y agoExplain → -
ocaml-glucose
OCaml bindings for the Glucose SAT solver (not really working, work in progress)
C++ ★ 0 8y agoExplain → -
vscode-reasonml ⑂
OCaml & Reason support for Visual Studio Code
TypeScript ★ 0 8y agoExplain → -
fmbkl4w ⑂
French MacBook Keyboard Layout For Windows.
★ 0 8y agoExplain → -
depqbf ⑂
DepQBF, a solver for quantified boolean formulae (QBF).
C ★ 0 9y agoExplain → -
slither.io-bot ⑂
Goal of the project - make a bot for slither.io
JavaScript ★ 0 10y agoExplain → -
madoko ⑂
Madoko is a fast markdown processor for high quality academic and technical articles
HTML ★ 0 8y agoExplain → -
allumettes
Script utilisant touist pour suivre une stratégie gagnante dans une version simplifiée (1 ou 2 allumettes) du jeu de Nim
Shell ★ 0 9y agoExplain → -
merlin ⑂
Context sensitive completion for OCaml in Vim and Emacs
OCaml ★ 0 8y agoExplain → -
vscode-ocaml ⑂
An extension for VS Code which provides support for the OCaml language.
TypeScript ★ 0 9y agoExplain → -
static-yices2
No description.
Shell ★ 0 9y agoExplain → -
orangefiber-tool ⑂
[FR] Un outil pour recuperer les donnees sur le reseau fibre optique d'orange
Shell ★ 0 9y agoExplain → -
touist.github.io ⑂
Jekyll-based webpage for TouIST
CSS ★ 0 9y agoExplain → -
tp-chord
Le TP de Concepts des Systèmes Répartis implémentant l'algorithme de table de hashage distribuée "CHORD" en utilisant Java RMI pour la distribution/communication
Java ★ 0 11y agoExplain → -
slides-gdr-isis
No description.
TeX ★ 0 9y agoExplain → -
masters-thesis
My master's thesis on dictionary learning using convolutionnal trees (for the M2R in OR at ENAC/Paul Sabatier University, Toulouse)
TeX ★ 0 10y agoExplain → -
slides-masters-thesis
No description.
★ 0 10y agoExplain → -
graph ⑂
Boost.org graph module
C++ ★ 0 10y agoExplain → -
recalage-images
TP d'Optimisation Numérique Locale avec Corentin Calvet
Python ★ 0 10y agoExplain → -
supervclimso
Programme de supervision au centre du système d'acquisition CLIMSO (coronographes du Pic du Midi). Dépôt lié à la maintenance du logiciel (après le stage d'autoguidage en 2014).
C++ ★ 0 12y agoExplain → -
cameroa
Programme de gestion des caméras APOGEE du système d'acquisition CLIMSO (coronographes du Pic du Midi)
C++ ★ 0 12y agoExplain → -
roboa
No description.
C ★ 0 12y agoExplain → -
terminoa
No description.
C++ ★ 0 12y agoExplain →
No repos match these filters.