-
Université Paris-Saclay
- Orsay
- https://usr.lmf.cnrs.fr/~kn
- https://orcid.org/0000-0002-1729-870X
-
aoc Public
Advent of Code in OCaml
-
thunderbird-conversations Public
Forked from thunderbird-conversations/thunderbird-conversationsAn extension for Thunderbird that allows you to view threads as "real" conversations, including your own emails. This extension also adds a bunch of useful UI features in the conversation view.
JavaScript Mozilla Public License 2.0 UpdatedJul 1, 2025 -
cduce-sample Public
A Sample minimal project using the CDuce compiler
Makefile MIT License UpdatedSep 14, 2024 -
-
dune Public
Forked from ocaml/duneA composable build system for OCaml.
OCaml MIT License UpdatedOct 28, 2023 -
sqlsb Public
Online SQL evaluator
-
aoc2022 Public
Repository for the advent of Code 2022 in OCaml and Python
-
typecaseunion.github.io Public
Forked from typecaseunion/typecaseunion.github.ioOnline prototype for Typecase + Union = Occurrence Typing
OCaml MIT License UpdatedAug 24, 2021 -
-
pwgen Public
A simple GTK Password Generator written in python3
GNU General Public License v3.0 UpdatedSep 25, 2019 -
materia-theme Public
Forked from nana-4/materia-themeA Material Design theme for GNOME/GTK based desktop environments
CSS GNU General Public License v2.0 UpdatedSep 3, 2019 -
-
webpdf Public
Print A Web Page using chromium's rendering engine.
BSD 2-Clause "Simplified" License UpdatedDec 10, 2018 -
-
-
myos Public
A toy 'operating system' used for teaching purposes.
-
-
-
ojquery Public
Forked from ocsigen/ojqueryjQuery Binding for Eliom.
OCaml GNU Lesser General Public License v3.0 UpdatedAug 5, 2014 -
-
hector Public
Forked from hector-client/hectora high level client for cassandra