# Projects Research projects. - [Trusted Carbon Credits](https://anil.recoil.org/projects/4c) (2021-01-01) - [Conservation Evidence Copilots](https://anil.recoil.org/projects/ce) (2024-01-01) - [Information Flow for Trusted Execution](https://anil.recoil.org/projects/difc-tee) (2020-01-01) - [Enki, a Dashboard of Life on Earth](https://anil.recoil.org/projects/enki) (2026-01-01) - [Mapping LIFE on Earth](https://anil.recoil.org/projects/life) (2023-01-01) - [Functional Internet Services](https://anil.recoil.org/projects/melange) (2003-01-01) - [OCaml Labs](https://anil.recoil.org/projects/ocamllabs) (2012-01-01) - [Interspatial OS](https://anil.recoil.org/projects/osmose) (2018-01-01) - [OxCaml Labs](https://anil.recoil.org/projects/oxcaml) (2025-01-01) - [Personal Containers](https://anil.recoil.org/projects/perscon) (2009-01-01) - [Planetary Computing](https://anil.recoil.org/projects/plancomp) (2022-01-01) - [Remote Sensing of Nature](https://anil.recoil.org/projects/rsn) (2023-01-01) - [TESSERA, a pixelwise geospatial foundation model](https://anil.recoil.org/projects/tessera) (2025-01-01) - [Ubiquitous Interaction Devices](https://anil.recoil.org/projects/ubiqinteraction) (2003-01-01) - [Unikernels](https://anil.recoil.org/projects/unikernels) (2010-01-01) - [Xen Hypervisor](https://anil.recoil.org/projects/xen) (2002-01-01) --- Canonical: https://anil.recoil.org/projects Feeds: [Atom](https://anil.recoil.org/news.xml), [JSON](https://anil.recoil.org/feed.json) License: CC BY 4.0