Skip to content

Instantly share code, notes, and snippets.

View maelvls's full-sized avatar

Maël Valais maelvls

View GitHub Profile
@maelvls
maelvls / retirer_www.sh
Created December 31, 2015 15:57
Pour enlever le [ www.Cpasbien.io]
ls | while read i; do mv "$i" "`echo $i | sed "s/\[www\..*\]\(\)/\1/" | tr -d " "`"; done
@maelvls
maelvls / Makefile
Last active September 27, 2017 09:13
Pour utiliser : ./game --console
OCAMLC = ocamlc -thread -g
OCAMLYACC = ocamlyacc
OCAMLLEX = ocamllex
SOURCES = \
common.ml \
quad.ml \
vm.ml \
karel.ml \
wparser.mly \
@maelvls
maelvls / touist.rb
Last active October 19, 2017 09:06
class Touist < Formula
desc "The solver for the TouIST language"
homepage "https://www.irit.fr/touist"
url "https://github.com/touist/touist/archive/v3.4.0.tar.gz"
sha256 "6872383092a00d762188a972b203939df892baa7d3218aa94c54b2d0f6e59b08"
revision 1
head "https://github.com/touist/touist.git", :shallow => false
# We use the git history for `git describe --tags`, so no shallow clone
bottle do
@maelvls
maelvls / How-to-automate-build-bottles-your-homebrew-tap.md
Last active May 12, 2024 15:10
Automate build workflow for Homebrew tap bottles (Linux and macOS)

How to automate the build of bottles on your Homebrew tap

Note on Oct 4, 2018: due to a change in Homebrew's brew test-bot behaviour, the user must set HOMEBREW_TRAVIS_CI and HOMEBREW_TRAVIS_SUDO appropriately (it was previously using Travis-CI-provided TRAVIS and TRAVIS_SUDO).

This tutorial is a follow-up to the discussion we had on davidchall/homebrew-hep#114. It relies on a fork of the test-bot provided by davidchall; you can get it with brew tap maelvalais/test-bot. First:

  1. the Github project must be of the form https://github.com//homebrew- with the following tree
@maelvls
maelvls / AMC-Homebrew-formula.md
Last active January 4, 2018 13:38
A formula for auto-multiple-choice (documentation is optionally built)

Keybase proof

I hereby claim:

  • I am maelvls on github.
  • I am maelvalais (https://keybase.io/maelvalais) on keybase.
  • I have a public key whose fingerprint is F105 E235 8FEB FC3D A4A4 9499 0075 8A3D 27F4 C016

To claim this, I am signing this object:

@maelvls
maelvls / README.md
Created March 5, 2019 09:51
WSL + Cmder

I don't use Hyper anymore (too much memory, too slow to render). I fall back to Cmder. I use scoop instead of choco as my package manager on windows. I use WSL + apt and sometimes Homebrew as my package managers on the WSL/Ubuntu side. Cmder + powerline: https://github.com/AmrEldib/cmder-powerline-prompt

@maelvls
maelvls / README.md
Last active June 15, 2019 10:09
About me -- looking for startup opportunities
  • I speak and write English fluently (learnt a lot during my PhD). Come try my delicious and refreshing french-flavoured accent! 😄
  • I enjoy contributing to open-source projects; when I do, it is mostly a way of scratching a developer itch on one of my tools. I sent pull requests to [ocaml-minisat][], [ocaml-qbf][], [ocamlyices2][] and [opam][] (OCaml), [gitlab-ce][] (Ruby on rails, Rspec), [boost-graph][] (C++).
  • I authored and am the maintainer of various projects: [homebrew-amc][] (Ruby, Travis CI), [touist][] (OCaml) and four [vscode-extensions][] (they use Typescript; one of them has 29k download! 😊).
@maelvls
maelvls / README.md
Created June 17, 2019 07:25
Prettier but for Java
@maelvls
maelvls / README.md
Last active November 27, 2020 08:20
What I dislike about Java
  • We can't throw exceptions from a lambda.

    Arrays.asList(sort_by.split(",")).stream()
      .reduce(new ArrayList<com.couchbase.client.java.query.dsl.Sort>(), (acc, str) -> {
      	String[] a = str.split(":");
      	if (a == null || a.length != 2) {
      		return acc;
      	}

if ("asc".equals(a[1])) {