Discover Naereen/Tiny-Prolog-in-OCaml Open Source project

📓 A growing collection of Jupyter Notebooks written in Python, OCaml and Julia for science examples, algorithms, visualizations etc

437

notebooks

✨ StrapDown.js is an awesome javascript tool to quickly publish nice-looking web-pages in pure Markdown 📝, with no server side compilation 😎 →

119

StrapDown.js

🐍 🏋 OpenAI GYM for Nintendo NES emulator FCEUX and 1983 game Mario Bros. + Double Q Learning for mastering the game

gym-nes-mario-bros

📦 Lempel-Ziv Complexity, fast implementations with 🐍 Python (naive, Numba or Cython for speedup), Open-Source (MIT) 👍 →

Lempel-Ziv_Complexity

🔧 🎨 Some syntax highlighting files for the GNU/Nano editor 📝 https://nano-editor.org/

nanorc

FreeSMS.py

🇫🇷 ☎️ Un petit script Python 2 ou 3 pour s'envoyer des textos (messages SMS) via l'API de Free (uniquement pour cartes SIM Free)

🐍 A simple Python (2 or 3) script to generate a PNG word-cloud ☁️ image from a bunch of 📂 text files 🎉. Based on word_cloud by @amueller.

generate-word-cloud.py

🇫🇷 Un clone en Python 3 de ParcoursSup, écrit à but didactique

ParcourSup.py

A stupid LaTeX experimental package that displays page numbers as tiny Pokémons in the bottom left or right corner

LaTeX-article-with-Pokemon-numbering

All the slides of my talks since 2016! Written in LaTeX or Markdown, compiled to pretty PDF with pandoc ✨, and experiments with Marp, reveal.js, remark.js etc. PDF on https://speakerdeck.com/naereen/ or on

slides

💅 Experiments and demos of design your own handwritting font, to use on the web or in XeLaTeX

My-Own-HandWriting-Font

🎓 🎨 Small and pretty homepage for a young researcher (me) - Powered by HTML5UP. See https://perso.crans.org/besson/me/ !

🐍 🔬 Fast Python implementation of various Kullback-Leibler divergences for 1D and 2D parametric distributions. Also provides optimized code for kl-UCB indexes

Kullback-Leibler-divergences-and-kl-UCB-indexes

💬 Ask me (@Naereen) anything! In English 🇬🇧🇺🇸

ama

cuisine

🇫🇷 Mes recettes de cuisine 🍰, avec un petit site statique (🐍 pelican)

My PhD thesis. I defended on the 20th of November! See https://perso.crans.org/besson/phd/defense/ ! More on https://perso.crans.org/besson/research.en.html

phd-thesis

DEPRECATED : please use the new builtin extension from VSCode v1.21. Add support for GNU Makefiles 🔧 for VSCode 📝. Imported from a TextMate language file.

Makefiles-support-for-VSCode

Un script IPython qui génère automatiquement une attestation de sortie toute les 55 minutes, pour le confinement 2.0 en France face au COVID 19. Expérimental et pour le plaisir, NE PAS UTILISER EN VRAI.

Generateur-attestation-de-sortie-automatique-COVID-19-confinement-en-France

Je souhaite répondre à la question suivante : peut on coder avec OCaml, Python et C par SMS ? Oui ! Attention, proof of concept à héberger soi-même localement, et c'est payant avec Twilio.com, et très expérimental ! Mais amusant !

Peut-on-coder-avec-OCaml-Python-et-C-par-SMS

WARNING it might not work with recent versions of Jupyter, traitlets etc. Use at your own risk, this was not updated since 2017. 🔧 Custom Jupyter 📓 NBConvert Exporter for the OCaml language 🐫

Jupyter-NBConvert-OCaml

🇫🇷 🐍 Des notebooks en Python pour montrer quelques algorithmes pour le cours ALGO1 au département Informatique de l'ENS de Rennes, en automne 2019

ALGO1-Info1-2019

🐍 🎨 💻 A Python script and module to simply & efficiently use ANSI colors in a terminal application from a Python program.

ansicolortags.py

A tiny implementation of a small subset of the Prolog language, 🐫 in OCaml. With small and fun examples.

Tiny-Prolog-in-OCaml-OneFile

My Magic the Gathering decks, in .cod format playable on Cockatrice. I'm playing regularly in Strasbourg (France), and am now an active L1 Judge of Magic: the Gathering.

My-Magic-the-Gathering-decks

Tutoriel-notebooks-Jupyter-a-Didapro-8-Lille-fevrier-2020

Matériel pour un tutoriel d'une heure sur les notebooks Jupyter à la conférence Didapro #8 à Lille le 05 février 2020

Mes recommandations pour les livres pour bien préparer l'agrégation de mathématiques (https://agreg.org/) en option informatique. Maintenue depuis 2014, version 2021 !

Bibliographie-agregation-maths-option-info

Si vous êtes intéressé-e par l’informatique, en particulier par l’enseignement de l’informatique, et les perspectives de carrières que l’on peut choisir dans cette voix, alors je vous conseille les documents suivants. Écrit en février 2021

Perspectives-carriere-enseignement-informatique-en-2021

Tiny ST3 📝 plug-in to easily switch 🔀 between spell-check for French 🇫🇷 or English 🇬🇧, and auto-detect the language

SublimeText3_SwitchDictionary

Mini dépôt qui documente mon utilisation du projet Basthon : https://basthon.fr/about.html !

Mon-utilisation-de-Basthon

💫 Fast Julia implementation of various Kullback-Leibler divergences for 1D parametric distributions. 🏋 Also provides optimized code for kl-UCB indexes

KullbackLeibler.jl

Julia

My-Munin-plugins

🐵 Some tiny plugins for @munin-monitoring 💻, written to learn how to write them... I was curious! 🎉

🎉 How to customize the web page title of all pages created with Jupyter Notebook 📓

how-to-customize-title-of-jupyter-notebook

💻 📢 Application bureau sur Ubuntu, Windows et Mac OS X pour la soundboard de Kaamelott 🎶. Depuis https://github.com/2ec0b4/kaamelott-soundboard

kaamelott-soundboard-desktop-app

A small project that gives a list of words to use when playing Pictionnary (so far only in French), under a MIT license

Free-dictionnaries-for-Pictionnary

Small 🐍 Python script to fix a 🐫 IOCaml notebook to have a clean export to PDF (include output values AND types) 🔧 📓

fix-iocaml-notebook-exports-to-pdf

💚 Objectif Zéro Déchet 🍃 pour l'année 2018 : je me lance ! 🇫🇷 📒 Petit blog en français qui raconte mes expériences et mes progrès pour être 100% zéro déchet !

Objectif-Zero-Dechet-2018

🏆 Small repo to showcase all my other GitHub projects, at https://naereen.github.io (powered by :octocat: GitHub Pages & 📝 StrapDown.js) 👉

naereen.github.io

📦 Lempel-Ziv Complexity, fast implementation in Julia, Open-Source (MIT) 👍 →

LempelZiv.jl

Meta repository with information about myself

Naereen

Makefile

MiniPy-interpreter-in-OCaml

My local copy of files from https://github.com/LaurentMazare/LaurentMazare.github.io/tree/master/minipy, whose code is there https://github.com/LaurentMazare/ocaml-minipy

Un petit jeu d'échec écrit en Lua avec le framework Löve2D

Love-2D-tiny-Chess-game

Lua

phd_defense_website_pub

A home-page website to advertise about my PhD defense. See https://perso.crans.org/besson/ for more details about me!

Ma petite modification de @ocaml/ocaml pour lire les mots clés en français - expérimental et amusant, c'est tout !

ocaml-mots-cles-en-francais

OCaml

web-sphinx

This repository stores my web pages, powered by the Sphinx static website generator, hosted on the CRANS web server (http://perso.crans.org/besson). Everything here is © 2011-24 Lilian Besson. Mirror of https://bitbucket.org/lbesson/web-sphinx that I use since 2012.

Failed experiment about a Discord bot aims at automatically adding /spoiler to any code snippet pasted in a Discord text channel in your Discord server. (Nov.2020)

Discord-bot-to-add-spoiler-to-any-code-snippet

J'ai encore quelques dilemmes en 2021, sur plein de questions et décisions personnelles ! Je les documenterai lentement ici... En attendant, aidez-moi à converger !?

Mes-dilemmes-en-2021-aidez-moi-converger

Chasse-aux-tresors-au-Musee-des-Beaux-Arts-pour-mes-26-ans

📑 Livrets d'énigmes, utilisés lors de la 🖼 📸 chasse aux trésors qu'on a organisé au musée des Beaux Arts de Rennes pour mes 26 ans 🎂

Petite application ludique pour apprendre un trombinoscope au début de l'année scolaire, écrite en Lua avec Löve2D au CodeClub de la Ludothèque de Briançon en mai 2023. PROTOTYPE à usage personnel uniquement !

Apprendre-son-trombinoscope.lua

Lua

GMusicBrowser-FullScreen-WebApp

A simple Flask & Python 🐍 local web-app 🕸️ to display GMusicBrowser current song 🎶 in full screen of your web-browser. Experiment but stable and used daily since 2018! I love it when I'm cooking or having guests!

LOTS of scripts and mini programs. Mostly GNU Bash shell scripts and Python scripts, designed to run on (X)Ubuntu. Every file is © 2011-24 Lilian Besson if nothing else is specified. Mirror of https://bitbucket.org/lbesson/bin/ that I used since 2012.

bin

Kit d'informatique débranchée (niveau lycée) pour une preuve du problème de l'arrêt avec des blocs Scracth - copie de ressources sous licence Creative Commons

kit-informatique-debranchee-preuve-pb-arret-Turing

Un Quiz Magic the Gathering pour le festival Don des Dragons (et d'autres, plus tard)

Un-Quiz-Magic-the-Gathering-pour-le-festival-Don-des-Dragons

(DEMO) Exemple de mise en accès libre des texte des articles Data Analytic Post (DEMO)

Exemple-de-mise-en-acc-s-libre-des-texte-des-articles-Data-Analytic-Post

ama.fr

💬 Demandez moi (@Naereen) n'importe quoi ! En français 🇫🇷

Mind_Bug_cockatrice_custom_set_Aug2023

A custom set of cards to play with 🎮 Cockatrice to the (awesome) game « Mind Bug » (2023)

Makefile

PlaneChase.lua

Simulateur de deck de cartes planaires, pour jouer à la variante « PlaneChase » de Magic the Gathering, écrit en Lua avec le framework Löve2D

A simple LaTeX template to print (custom) Magic the Gathering cards/proxies

LaTeX_template_to_print_Magic_cards

📑 Livrets d'énigmes, utilisés lors de la 🖼 📸 chasse aux trésors qu'on a organisé au musée du Louvre pour mes 25 ans 🎂

Chasse-aux-tr-sors-au-Louvre-pour-mes-25-ans

Mon fork de https://git.saucisseroyale.cc/DiestVanMaitre_culain/ccdille (licence MIT), pour pouvoir écrire et compiler des programmes C écrits avec des mots clés en français - expérimental et amusant, c'est tout !

langage-c-mots-cles-en-francais

make-big-maths

📐 A simple page for rendering some LaTeX math equation, at any size 🔬, using MathJax 🎉 →

A static build of IOCamlJS kernel for IPython notebook - see https://github.com/andrewray/iocamljs/tree/gh-pages

IOCamlJS-static

Je suis pour ces idées ! Ai-je tort ? Aidez-moi ! Une autre expérience de crowdsourcing social en 2021 !

Je-suis-pour-ces-idees-Ai-je-tort-Aidez-moi-

Je-suis-contre-ces-idees-Ai-je-tort-Aidez-moi-

Je suis pour ces idées ! Ai-je tort ? Aidez-moi ! Une autre expérience de crowdsourcing social en 2021 !

Introduction-au-Numerique-avec-Python-dpt-DEM-2020

Sources LaTeX et Python pour un cours (6x2h de CM) d'Introduction au Numérique avec Python, donné aux élèves de 1ère année du département Droit Économie et Management à l'ENS de Rennes à l'automne 2020

Bright theme for sphinx-doc 🐍 ◻️ (based on f6 by @vimalkvn)

f6_sphinx_theme

Proposition d'atelier pour la conférence Didapro 8 sur les notebooks jupyter (5-7 février 2020)

Didapro8_2020__atelier_Notebook_Jupyter

Aider à la traduction des articles sur <https://www.cranial-insertion.com/>, que l'on doit chaque weekend traduire de l'anglais américain vers le français.

Assistant-traduction-CranialInsertion-en-Python

🎨 D3.js visualization of a globe, for each country I have ever been to! 🌎 ✈️

world-tour-timeline